1 résultat(s)
Télécharger le livre : Provably Correct Systems
Jonathan P. Bowen , Mike Hinchey , Ernst-Rüdiger Olderog
Provably Correct Systems
As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical...
Editeur : Springer
Parution : 2017-03-01
Collection : NASA Monographs in Systems and Software Engineering
Format(s) : PDF, ePub
94,94 €
Téléchargement immédiat
Dès validation de votre commande