Jean-François Raskin - Böcker

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

4 produkter

Kategorier

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, Engelska, 2022

1 319 kr

Skickas inom 10-15 vardagar

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, 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

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

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

Av Marsha Chechik, Jean-François Raskin

Häftad, Engelska, 2016

739 kr

Skickas inom 10-15 vardagar