Franck Cassez - Böcker

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

Automated Technology for Verification and Analysis

Av Franck Cassez, Jean-Francois Raskin

Häftad, Engelska, 2014

739 kr

Skickas inom 7-10 vardagar
Franck Cassez, Claude Jard, Brigitte Rozoy, Mark D. Ryan - Modeling and Verification of Parallel Processes, Häftad
Del 2067 - Lecture Notes in Computer Science

Modeling and Verification of Parallel Processes

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

Häftad, Engelska, 2001

639 kr

Skickas inom 7-10 vardagar
Franck Cassez, Claude Jard - Formal Modeling and Analysis of Timed Systems, Häftad

Formal Modeling and Analysis of Timed Systems

Av Franck Cassez, Claude Jard

Häftad, Engelska, 2008

739 kr

Skickas inom 7-10 vardagar