Startseite
Über uns
Geschichten
Katalog
Medien
Startseite
Katalog
Autoren
Joseph Sifakis
Joseph Sifakis
Eine Liste von Autoren mit Biografien, Lebensdaten und späteren Sammlungen aller Bücher.
Bücher des Autors
5
Automatic Verification Methods for Finite State Systems
Embedded systems design
Understanding and Changing the World
Embedded Software
Rigorous System Design
