Jean-François Raskin – författare
Visar alla böcker från författaren Jean-François Raskin. Handla med fri frakt och snabb leverans.
9 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
1014 kr
Lägg i varukorg
This Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022. This Festschrift volume celebrates his many contributions in the field of computer science, with 31 papers covering various research and application directions, authored by scientists inspired by his …
Principles of Systems Design
Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
Av Rupak Majumdar, Laurent Doyen m. fl.
E-bok, 2022
1306 kr
Lägg i varukorg
This Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022. This Festschrift volume celebrates his many contributions in the field of computer science, with 31 papers covering various research and application directions, authored by scientists inspired by his …
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
566 kr
Lägg i varukorg
This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014.The 29 revised papers presented in this volume were carefully reviewed and selected from 76 submissions. They show …
Automated Technology for Verification and Analysis
12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
Av Jean-Francois Raskin, Franck Cassez
E-bok, 2014
739 kr
Lägg i varukorg
This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014. The 29 revised papers presented in this volume were carefully reviewed and selected from 76 submissions. They show …
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
550 kr
Lägg i varukorg
This volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2007). The main goal of this series of conferences is to bring together diverse communities of researchers that deal with the timing aspects of computing systems. …
Formal Modeling and Analysis of Timed Systems
5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings
Av P.S. Thiagarajan, Jean-Francois Raskin
E-bok, 2007
755 kr
Lägg i varukorg
This volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2007). The main goal of this series of conferences is to bring together diverse communities of researchers that deal with the timing aspects of computing systems. …
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
566 kr
Lägg i varukorg
This bookconstitutes the proceedings of the 22nd International Conference on Tools andAlgorithms for the Construction and Analysis of Systems, TACAS 2016, which tookplace in Eindhoven, The Netherlands, in April 2016, held as Part of theEuropean Joint Conferences on Theory and Practice of Software, …
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 Jean-Francois Raskin, Marsha Chechik
E-bok, 2016
755 kr
Lägg i varukorg
This bookconstitutes the proceedings of the 22nd International Conference on Tools andAlgorithms for the Construction and Analysis of Systems, TACAS 2016, which tookplace in Eindhoven, The Netherlands, in April 2016, held as Part of theEuropean Joint Conferences on Theory and Practice of Software, …
