|
| Books 1 - 6 of 6 | Previous | Next |
|
 | | Applications and Theory of Petri Nets 2005: 26th International Conference, Icatpn 2005, Miami, Fl, June 20-25, 2005, Proceedings (Lecture Notes in Computer Science)
by Gianfranco Ciardo (Editor), Philippe Darondeau (Editor)
Paperback, 475 Pages, Published 2005 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Synthesis and Control of Discrete Event Systems
by Benoit Caillaud (Editor), Philippe Darondeau (Editor), Luciano Lavagno (Editor), Xiaolan Xie (Editor)
Hardcover, 238 Pages, Published 2002 by Kluwer Academic Publishers
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | About semantic action refinement (Technical report / Dipartimento di informatica, Università di Pisa)
by Philippe Darondeau
Unknown Binding, 10 Pages, Published 1989 by Università degli studi di Pisa, Dipartimento di informatica
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Proof systems for infinite behaviours =: Comportements infinis et systemes de preuve (Rapports de recherche. Institut National de Recherche en Informatique et en Automatique)
by Philippe Darondeau
Unknown Binding, 10 Pages, Published 1987 by Institut National de Recherche en Informatique et en Automatique
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Causal trees (Rapports de recherche. Institut National de Recherche en Informatique et en Automatique)
by Philippe Darondeau
Unknown Binding, Published 1988 by Institut National de Recherche en Informatique et en Automatique
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Effective behaviour algebras =: Algebres effectives de comportements (Rapports de recherche. Institut National de Recherche en Informatique et en Automatique)
by Philippe Darondeau
Unknown Binding, Published 1987 by Institut National de Recherche en Informatique et en Automatique
Compare Prices | Add to Wish List | Set Price Alert |
|
| Books 1 - 6 of 6 | Previous | Next |