Connectez-vous pour ajouter ce livre à votre bibliothèque.
Ernst-Rüdiger Olderog, Henning Dierks
Real-time systems : formal specification and automatic verification
Cambridge university press (Cambridge (GB)) · 2008 · 9780521883337
