Systems and Software Verification: Model-Checking Techniques and Tools - B. Berard - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540415237 - 20 de junio de 2001
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 2001 edition

Precio
€ 154,99

Pedido desde almacén remoto

Entrega prevista 29 de may. - 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.

190 pages, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 20 de junio de 2001
ISBN13 9783540415237
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 190
Dimensiones 166 × 242 × 24 mm   ·   412 g
Lengua Inglés   Alemán  
Traductor McKenzie, P.

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