Cover of Automatic Verification Methods for Finite State Systems : International Workshop, Grenoble, France. June 12-14, 1989. Proceedings by Sifakis, Joseph, ISBN 9783540521488
Logic

Automatic Verification Methods for Finite State Systems : International Workshop, Grenoble, France. June 12-14, 1989. Proceedings

AUTOMATIC VERIFICATION METHODS

Contributor(s): Editor Format: Paperback

Paperback Β· ISBN 9783540521488

β‚Ή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 9783540521488
Subtitle AUTOMATIC VERIFICATION METHODS
Publisher Springer
Publication date January 1990
Language English
MRP Β£44.99 GBP
Page count 400
Item weight 123 g

Automatic Verification Methods for Finite State Systems : International Workshop, Grenoble, France. June 12-14, 1989. Proceedings published by Springer.