Jean-François Raskin - Böcker

Visar alla böcker från författaren Jean-François Raskin.
4 produkter
Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Rupak Majumdar, Jean-Francois Raskin - Principles of Systems Design, Häftad
Del 13660 - Lecture Notes in Computer Science

Principles of Systems Design

Av Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Rupak Majumdar, Jean-Francois Raskin

Häftad, Engelska, 2022

1 309 kr

Skickas inom 7-10 vardagar
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
Jean-Francois Raskin, P.S. Thiagarajan, P. S. Thiagarajan - Formal Modeling and Analysis of Timed Systems, Häftad

Formal Modeling and Analysis of Timed Systems

Av Jean-Francois Raskin, P.S. Thiagarajan, P. S. Thiagarajan

Häftad, Engelska, 2007

719 kr

Skickas inom 7-10 vardagar
Marsha Chechik, Jean-François Raskin - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

Tools and Algorithms for the Construction and Analysis of Systems

Av Marsha Chechik, Jean-François Raskin

Häftad, Engelska, 2016

739 kr

Skickas inom 7-10 vardagar