Cover of Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings by Havelund, Klaus, Majumdar, Rupak, Palsberg, Jens, ISBN 9783540851134
General

Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings

MODEL CHECKING SOFTWARE

Contributor(s): Editor , Editor , Editor Format: Paperback

Paperback Β· ISBN 9783540851134

β‚Ή8,576 2%
β‚Ή8,771

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 9783540851134
Subtitle MODEL CHECKING SOFTWARE
Publisher Springer
Publication date July 2008
Language English
MRP Β£67.99 GBP
Page count 358
Item weight 111 g

Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings published by Springer.