Hoppa till sidans huvudinnehåll

Jean-François Raskin – författare

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

Principles of Systems Design

Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday

AvJean-François Raskin,Krishnendu Chatterjeem. fl.

Häftad, Engelska, 2022

1 299 kr

Skickas inom 10-15 vardagar

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

Jean-Francois Raskin, P.S. Thiagarajan - Formal Modeling and Analysis of Timed Systems, Häftad

Formal Modeling and Analysis of Timed Systems

5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings

AvJean-Francois Raskin,P.S. Thiagarajan

Häftad, Engelska, 2007

709 kr

Skickas inom 10-15 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

22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

AvMarsha Chechik,Jean-François Raskin

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar