Hoppa till sidans huvudinnehåll

Jean-François Raskin - Böcker

Visar alla böcker från författaren Jean-François Raskin.
4 produkter
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 Chatterjee,Laurent Doyen,Rupak Majumdar,Jean-Francois Raskin

Häftad, Engelska, 2022

1 269 kr

Skickas inom 10-15 vardagar

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

709 kr

Skickas inom 10-15 vardagar

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,P. S. Thiagarajan

Häftad, Engelska, 2007

689 kr

Skickas inom 10-15 vardagar

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

709 kr

Skickas inom 10-15 vardagar