Cover of SPIN Model Checking and Software Verification : 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings by Havelund, Klaus, Penix, John, Visser, Willem, ISBN 9783540410300
General

SPIN Model Checking and Software Verification : 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings

SPIN MODEL CHECKING & SOFTWARE

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

Paperback ยท ISBN 9783540410300

โ‚น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 9783540410300
Subtitle SPIN MODEL CHECKING & SOFTWARE
Publisher Springer
Publication date August 2000
Language English
MRP ยฃ44.99 GBP
Page count 360
Item weight 112 g

SPIN Model Checking and Software Verification : 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings published by Springer.