search for books and compare prices
J. Sifakis has written 2 work(s)
Search for other authors with the same name
displaying 1 to 2 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Embedded Software: Second International Conference, Emsoft 2002, Grenoble, France, October 2002 : Proceedings
cover image for 9783540443070
Presents a collection of papers from the EMSOF 2002 conference.
By EMSOFT (other contributor), Emsoft 200 (other contributor), Alberto Sangiovanni-Vincentelli and J. Sifakis
See complete details on each edition (1 edition listed)

Paperback:

9783540443070 | Springer Verlag, October 1, 2002, cover price $119.00 | About this edition: Presents a collection of papers from the EMSOF 2002 conference.

Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France June 12-14, 1989 : Proceedings
cover image for 9780387521480
Product Description: This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first workshop entirely devoted to the verification of finite state systems. The workshop brought together researchers and practitioners interested in the development and use of methods, tools and theories for automatic verification of finite state systems...read more
By J. Sifakis (editor)
See complete details on each edition (1 edition listed)

Paperback:

9780387521480 | Springer Verlag, March 1, 1990, cover price $62.95 | About this edition: This volume contains the proceedings of a workshop held in Grenoble in June 1989.

displaying 1 to 2 | at end