Ebooks d'Ernst-Rüdiger Olderog en PDF et EPUB

1 Livre(s)
Télécharger le livre : Provably Correct Systems
Ajouter à ma liste d'envies
Provably Correct Systems
Jonathan P. Bowen , Mike Hinchey , Ernst-Rüdiger Olderog
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
PDF, ePub

94,94 €