Sifakis, Joseph books & textbook
Embedded Systems Design: The ARTIST Roadmap for Research and Development (Lecture Notes in Computer Science, 3436)
Bouyssounouse, Bruno Sifakis, Joseph
Springer /2005-03-30 Paperback / 512 Pages
isbn-10: 3540251073 / isbn-13: 9783540251071
Embedded Software: Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings (Lecture Notes in Computer Science, 2491)
Sangiovanni-Vincentelli, Alberto Sifakis, Joseph
Springer /2002-09-25 Paperback / 440 Pages
isbn-10: 354044307X / isbn-13: 9783540443070
Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings (Lecture Notes in Computer Science, 407)
Springer /1990-01-10 Paperback / 395 Pages
isbn-10: 3540521488 / isbn-13: 9783540521488
Understanding and Changing the World: From Information to Knowledge and Intelligence
Springer /2022-05-17 Hardcover / 171 Pages
isbn-10: 9811919313 / isbn-13: 9789811919312
Rigorous System Design (Foundations and Trends(r) in Electronic Design Automation)
Now Publishers /2013-04-15 Paperback / 84 Pages
isbn-10: 1601986602 / isbn-13: 9781601986603
