Formal Verification of Control System Software - Princeton Series in Applied Mathematics - Pierre-Loic Garoche - Livres - Princeton University Press - 9780691181301 - 14 mai 2019
Si la couverture et le titre ne correspondent pas, le titre est correct.

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

Prix
€ 73,99

Commandé depuis un entrepôt distant

Livraison prévue 8 - 19 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits 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.

Médias Livres     Hardcover Book   (Livre avec dos et couverture rigide)
Validé 14 mai 2019
ISBN13 9780691181301
Éditeurs Princeton University Press
Pages 232
Dimensions 243 × 163 × 15 mm   ·   536 g
Langue et grammaire Anglais  

Plus par Pierre-Loic Garoche

Afficher tout

Voir tous les Pierre-Loic Garoche ( par ex. Hardcover Book et Paperback Book )