Tous les ebooks d'Ernst-Rüdiger Olderog en PDF et EPUB

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...

---

 COMMENCER GRATUITEMENT