Jean-François Raskin – författare

Visar alla böcker från författaren Jean-François Raskin.

4 produkter

Kategorier

4 produkter

Del 13660
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 329 kr
Skickas inom 10-15 vardagar
Del 8837
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
739 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
Häftad, Engelska, 2007
719 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
739 kr
Skickas inom 10-15 vardagar