Franck Cassez – författare

Visar alla böcker från författaren Franck Cassez.

3 produkter

1. 

   Automated Technology for Verification and Analysis

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

   Av Franck Cassez, Jean-Francois Raskin

   Häftad, 2014

   729 kr

   Lägg i varukorg

2. 

   Modeling and Verification of Parallel Processes

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

   Av Franck Cassez, Claude Jard m. fl.

   Häftad, 2001

   629 kr

   Lägg i varukorg

3. 

   Formal Modeling and Analysis of Timed Systems

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

   Av Franck Cassez, Claude Jard

   Häftad, 2008

   729 kr

   Lägg i varukorg