Name: Model Checking Software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings
Brand: Springer
SKU: 9783540421245
Price: 5675.00 INR
Availability: InStock
ISBN: 9783540421245

Model Checking Software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings

MODEL CHECKING SOFTWARE 2001/E

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

Paperback · ISBN 9783540421245

₹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	9783540421245
Subtitle	MODEL CHECKING SOFTWARE 2001/E
Publisher	Springer
Publication date	May 2001
Language	English
MRP	£44.99 GBP
Page count	332
Item weight	103 g

Dwyer, Matthew Editor

Biography not available.

Model Checking Software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings

Key Specifications

Dwyer, Matthew Editor

Related titles