Items related to Model Checking Abstract State Machines
Search results for Model Checking Abstract State Machines
Stock Image
Model Checking Abstract State Machines
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9783639018912
Buy New
£ 64.33
£ 4.16 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Model Checking Abstract State Machines
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5647387-n
Stock Image
Model Checking Abstract State Machines
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9783639018912
Seller Image
Model Checking Abstract State Machines
Published by
VDM Verlag Dr. Mueller E.K., DE, 2008
ISBN 10: 3639018915
ISBN 13: 9783639018912
New
Paperback
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # LU-9783639018912
Buy New
£ 69.73
Free Shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Model Checking Abstract State Machines
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783639018912
Seller Image
Model Checking Abstract State Machines
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5647387-n
Buy New
£ 64.32
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Model Checking Abstract State Machines
Print on DemandSeller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - The benefits of formal methods have been discussed many timesin the literature. Production costs can be decreased greatly iferrors can be detected in an early phase of design. Accidents,involving major damage and even loss of lives, can be avoided ifsystems are working correctly. Nevertheless, the use of formalmethods is limited in practice since the trade-off betweenproductivity and reliability is still too large. This work aims atimproving the applicability of the formal approach. To be ofpractical relevance in the future formal system development mustprovide support for modelling and analysis. Currently, however,there is a discrepancy between tools that are easy to use due toautomation and languages that nicely support the modelling task. Itis necessary to bridge this gap. This work contributes with asolution for a particular formal language and a particular kind oftool support for verification. The title ``Model Checking AbstractState Machines' summarises the results. Seller Inventory # 9783639018912
Stock Image
Model Checking Abstract State Machines
Published by
VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2008
ISBN 10: 3639018915
ISBN 13: 9783639018912
New
Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 208. Seller Inventory # 26128749141
Seller Image
Model Checking Abstract State Machines
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. The benefits of formal methods have been discussed many timesin the literature. Production costs can be decreased greatly iferrors can be detected in an early phase of design. Accidents,involving major damage and even loss of lives, can be avoided ifsystems. Seller Inventory # 4949851
Buy New
£ 70.30
£ 40.87 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Model Checking Abstract State Machines
Published by
VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2008
ISBN 10: 3639018915
ISBN 13: 9783639018912
New
Softcover
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 208 23:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on White w/Gloss Lam. Seller Inventory # 131805578
Buy New
£ 111.45
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available