Systems and Software Verification: Model-Checking Techniques and Tools - B. Berard - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642074783 - 15 de diciembre de 2010
En caso de que portada y título no coincidan, el título será el correcto

B. Berard
Systems and Software Verification: Model-Checking Techniques and Tools Softcover reprint of hardcover 1st ed. 2001 edition

Precio
€ 132,99

Pedido desde almacén remoto

Entrega prevista 4 - 12 de jun.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

También disponible como:

Model checking is a powerful approach for the formal verification of software. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms.

202 pages, 4 black & white illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 15 de diciembre de 2010
ISBN13 9783642074783
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 190
Dimensiones 233 × 157 × 18 mm   ·   328 g
Lengua Alemán  
Traductor McKenzie, P.

Ver todo de B. Berard ( Ej. Hardcover Book y Paperback Book )