Franck Cassez - Böcker

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

3 produkter

Kategorier

3 produkter

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, Engelska, 2014

719 kr

Skickas inom 10-15 vardagar

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, Engelska, 2001

619 kr

Skickas inom 10-15 vardagar

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, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar