The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Franck Cassez Books

Results for Franck Cassez

Showing 1 to 3 of 3 results
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings: ... Computer Science and General Issues) Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings: ... Computer Science and General Issues) by

Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings: ... Computer Science and General Issues)

by


ISBN 13: 9783540857778

Format: Paperback (295 pages)
Publisher: Springer
Published: 05 Sep 2008

Save for later

 
New : $74.31  
New : $74.31
Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures: 2067 (Lecture Notes in Computer Science) Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures: 2067 (Lecture Notes in Computer Science) by Mark D. Ryan,Brigitte Rozoy,Franck Cassez,Claude Jard

Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures: 2067 (Lecture Notes in Computer Science)

by Mark D. Ryan,Brigitte Rozoy,Franck Cassez,Claude Jard


ISBN 13: 9783540427872

Format: Paperback (244 pages)
Publisher: Springer
Published: 24 Oct 2001

Save for later

 
New : $41.38  
New : $41.38
Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings: 8837 (Lecture Notes in Computer Science) Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings: 8837 (Lecture Notes in Computer Science) by Franck Cassez,Jean-Francois Raskin

Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings: 8837 (Lecture Notes in Computer Science)

by Franck Cassez,Jean-Francois Raskin


ISBN 13: 9783319119359

Format: Paperback (456 pages)
Publisher: Springer
Published: 29 Sep 2014

Save for later

 
New : $65.19  
New : $65.19