Model Checking - Cyber Physical Systems Series - Jr., Edmund M. Clarke (Carnegie Mellon University) - Libros - MIT Press Ltd - 9780262038836 - 4 de diciembre de 2018
En caso de que portada y título no coincidan, el título será el correcto

Jr., Edmund M. Clarke (Carnegie Mellon University)
Model Checking - Cyber Physical Systems Series Second edition

Precio
Mex$ 1.340
sin IVA

Pedido desde almacén remoto

Entrega prevista 18 de ago. - 14 de sep.
Recibe notificaciones sobre nuevos lanzamientos de Jr., Edmund M. Clarke (Carnegie Mellon University)

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

An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.

424 pages, 154 b 308 Illustrations, unspecified

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 4 de diciembre de 2018
ISBN13 9780262038836
Editores MIT Press Ltd
Páginas 424
Dimensiones 187 × 236 × 25 mm   ·   828 g
Lengua Inglés  
Editor de series Belta, Calin (Professor, Boston University)

Más del mismo editor

Ver todo de Jr., Edmund M. Clarke (Carnegie Mellon University) ( Ej. Hardcover Book )