Hoppa till sidans huvudinnehåll

Franck Cassez – författare

Visar alla böcker från författaren .
3 produkter
Franck Cassez, Jean-Francois Raskin - Automated Technology for Verification and Analysis, Häftad
Del 8837 - Lecture Notes in Computer Science

Automated Technology for Verification and Analysis

12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

AvFranck Cassez,Jean-Francois Raskin

Häftad, Engelska, 2014

729 kr

Skickas inom 10-15 vardagar

Franck Cassez, Claude Jard, Brigitte Rozoy, Mark D. Ryan - Modeling and Verification of Parallel Processes, Häftad

Modeling and Verification of Parallel Processes

4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures

AvFranck Cassez,Claude Jardm. fl.

Häftad, Engelska, 2001

629 kr

Skickas inom 10-15 vardagar

Franck Cassez, Claude Jard - Formal Modeling and Analysis of Timed Systems, Häftad

Formal Modeling and Analysis of Timed Systems

6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings

AvFranck Cassez,Claude Jard

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar