Formal Verification of Control System Software - Princeton Series in Applied Mathematics - Pierre-Loic Garoche - Libros - Princeton University Press - 9780691181301 - 14 de mayo de 2019
En caso de que portada y título no coincidan, el título será el correcto

Pierre-Loic Garoche
Formal Verification of Control System Software - Princeton Series in Applied Mathematics

Precio
€ 72,49

Pedido desde almacén remoto

Entrega prevista 12 - 21 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero

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

An essential introduction to the analysis and verification of control system softwareThe verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their lives. In this authoritative and accessible

224 pages, 79 b/w illus.

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 14 de mayo de 2019
ISBN13 9780691181301
Editores Princeton University Press
Páginas 232
Dimensiones 243 × 163 × 15 mm   ·   536 g
Lengua Inglés  

Mas por Pierre-Loic Garoche

Mostrar todo

Ver todo de Pierre-Loic Garoche ( Ej. Hardcover Book y Paperback Book )