Joseph Sifakis
Joseph Sifakis
4 ספרים במאגר
ספרים
Embedded systems designJoseph Sifakis
Embedded systems design
Joseph Sifakis · 2005
Automatic Verification Methods for Finite State SystemsJoseph Sifakis
Automatic Verification Methods for Finite State Systems
Joseph Sifakis · 1990
Understanding and Changing the WorldJoseph Sifakis
Understanding and Changing the World
Joseph Sifakis · 2022
Rigorous System DesignJoseph Sifakis
Rigorous System Design
Joseph Sifakis · 2013
ספרים משותפים ואוספים
ספרים שבהם Joseph Sifakis מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.