Principles of Model Checking - Principles of Model Checking - Baier, Christel (Technische Universitat Dresden) - Libros - MIT Press Ltd - 9780262026499 - 1 de mayo de 2008
En caso de que portada y título no coincidan, el título será el correcto

Baier, Christel (Technische Universitat Dresden)
Principles of Model Checking - Principles of Model Checking

Precio
$ 139,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 19 de jun. - 9 de jul.

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

A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.

984 pages, illus.

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 1 de mayo de 2008
ISBN13 9780262026499
Editores MIT Press Ltd
Páginas 984
Dimensiones 206 × 258 × 42 mm   ·   1,83 kg

Mere med samme udgiver

Ver todo de Baier, Christel (Technische Universitat Dresden) ( Ej. Hardcover Book )