Jean-François Raskin – författare
Visar alla böcker från författaren Jean-François Raskin.
4 produkter
Principles of Systems Design
Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
Av Jean-François Raskin, Krishnendu Chatterjee m. fl.
Häftad, 2022
1309 kr
Lägg i varukorg
Automated Technology for Verification and Analysis
12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
Av Franck Cassez, Jean-Francois Raskin
Häftad, 2014
729 kr
Lägg i varukorg
Formal Modeling and Analysis of Timed Systems
5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings
Av Jean-Francois Raskin, P.S. Thiagarajan
Häftad, 2007
709 kr
Lägg i varukorg
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
Av Marsha Chechik, Jean-François Raskin
Häftad, 2016
729 kr
Lägg i varukorg