Contacto
Cómo comprar
Entrega
Guía de compras
Model Checking Abstract State Machines
Inglés
208 b
Política de devolución de 30 días
Clientes que también han comprado
/
CD de audio
19.19
€
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.
Sobre el libro
Inglés
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatarioTambién puede interesarle
/
Tapa dura
16.69
€
/
Tapa blanda
20.09
€
/
Tapa dura
50.39
€
/
Tapa dura
13.89
€
¡Hola! Soy Libroamiko, tu asesor de libros.
¿Cómo puedo ayudarte?