Cover of Model Checking Software : 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings by Ball, Thomas, Rajamani, Sriram K., ISBN 9783540401179
General

Model Checking Software : 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings

MODEL CHECKING SOFTWARE

Contributor(s): Editor , Editor Format: Paperback

Paperback ยท ISBN 9783540401179

โ‚น5,675 2%
โ‚น5,804

Inclusive of GST and other taxes

100% Quality Assurance
No Account Creation Required
Fast Delivery
Secured Transactions

Arriving at your doorstep in 10-15 days

Our logisitcs team will make sure everyitem is delivered safely

Key Specifications

ISBN 9783540401179
Subtitle MODEL CHECKING SOFTWARE
Publisher Springer
Publication date April 2003
Language English
MRP ยฃ44.99 GBP
Page count 256
Item weight 80 g

Model Checking Software : 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings published by Springer.