Articoli correlati a Model Checking Abstract State Machines
Risultati della ricerca per Model Checking Abstract State Machines
Immagini fornite dal venditore
Model Checking Abstract State Machines
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 5647387-n
Compra nuovo
EUR 79,82
Spedizione EUR 2,37
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Model Checking Abstract State Machines
Print on DemandDa: PBShop.store US, Wood Dale, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
PAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice articolo L0-9783639018912
Compra nuovo
EUR 82,27
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Model Checking Abstract State Machines
Editore:
VDM Verlag Dr. Mueller E.K., DE, 2008
ISBN 10: 3639018915
ISBN 13: 9783639018912
Nuovo
Paperback
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. Codice articolo LU-9783639018912
Compra nuovo
EUR 83,58
Spedizione gratuita
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Model Checking Abstract State Machines
Print on DemandDa: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 5 su 5 stelle
PAP. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice articolo L0-9783639018912
Compra nuovo
EUR 79,42
Spedizione EUR 4,99
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Model Checking Abstract State Machines
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9783639018912
Compra nuovo
EUR 90,60
Spedizione EUR 2,69
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Model Checking Abstract State Machines
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 5647387-n
Compra nuovo
EUR 79,40
Spedizione EUR 17,98
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Model Checking Abstract State Machines
Print on DemandDa: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783639018912
Compra nuovo
EUR 87,54
Spedizione EUR 35,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Model Checking Abstract State Machines
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo 4949851
Compra nuovo
EUR 81,81
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Model Checking Abstract State Machines
Editore:
VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2008
ISBN 10: 3639018915
ISBN 13: 9783639018912
Nuovo
Brossura
Da: Books Puddle, Woodside, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 208. Codice articolo 26128749141
Compra nuovo
EUR 129,65
Spedizione EUR 3,58
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Model Checking Abstract State Machines
Editore:
VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2008
ISBN 10: 3639018915
ISBN 13: 9783639018912
Nuovo
Brossura
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: 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. Codice articolo 131805578
Compra nuovo
EUR 133,58
Spedizione EUR 7,79
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 4 disponibili