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
Mex$ 2.450
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jul. - 17 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Baier, Christel (Technische Universitat Dresden)

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ún no valorado

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

Más del mismo editor

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