Artículos relacionados a Model Checking Abstract State Machines
Sinopsis
Model Checking Abstract State Machines
"Sinopsis" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Model Checking Abstract State Machines
Imagen del vendedor
Model Checking Abstract State Machines
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 5647387-n
Comprar nuevo
EUR 79,82
Envío por EUR 2,37
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Model Checking Abstract State Machines
Impresión bajo demandaLibrería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9783639018912
Comprar nuevo
EUR 82,27
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Model Checking Abstract State Machines
Publicado por
VDM Verlag Dr. Mueller E.K., DE, 2008
ISBN 10: 3639018915
ISBN 13: 9783639018912
Nuevo
Paperback
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. Nº de ref. del artículo: LU-9783639018912
Comprar nuevo
EUR 83,58
Gastos de envío gratis
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Model Checking Abstract State Machines
Impresión bajo demandaLibrería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9783639018912
Comprar nuevo
EUR 79,42
Envío por EUR 4,99
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Model Checking Abstract State Machines
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9783639018912
Comprar nuevo
EUR 90,60
Envío por EUR 2,69
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Model Checking Abstract State Machines
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 5647387-n
Comprar nuevo
EUR 79,40
Envío por EUR 17,98
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Model Checking Abstract State Machines
Publicado por
VDM Verlag Dr. Müller, 2008
ISBN 10: 3639018915
ISBN 13: 9783639018912
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9783639018912
Comprar nuevo
EUR 87,54
Envío por EUR 35,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
Model Checking Abstract State Machines
Publicado por
VDM Verlag Dr. Müller, 2008
ISBN 10: 3639018915
ISBN 13: 9783639018912
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: 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. Nº de ref. del artículo: 4949851
Comprar nuevo
EUR 81,81
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Model Checking Abstract State Machines
Publicado por
VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2008
ISBN 10: 3639018915
ISBN 13: 9783639018912
Nuevo
Tapa blanda
Librería: Books Puddle, Woodside, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 208. Nº de ref. del artículo: 26128749141
Comprar nuevo
EUR 129,65
Envío por EUR 3,58
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Model Checking Abstract State Machines
Publicado por
VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2008
ISBN 10: 3639018915
ISBN 13: 9783639018912
Nuevo
Tapa blanda
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Condición: 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. Nº de ref. del artículo: 131805578
Comprar nuevo
EUR 133,58
Envío por EUR 7,79
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 4 disponibles