Cover of Model Checking Software : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings by Valmari, Antti, ISBN 9783540331025
General

Model Checking Software : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings

MODEL CHECKING SOFTWARE 2006/E

Contributor(s): Editor Format: Paperback

Paperback ยท ISBN 9783540331025

โ‚น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 9783540331025
Subtitle MODEL CHECKING SOFTWARE 2006/E
Publisher Springer
Publication date March 2006
Language English
MRP ยฃ44.99 GBP
Page count 324
Item weight 101 g

Model Checking Software : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings published by Springer.