Buy Used and New Franck Cassez Books

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

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