4 Ebooks par Jean-Francois Raskin
Franck Cassez & Jean-Francois Raskin: Automated Technology for Verification and Analysis
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 …
PDF
Anglais
DRM
€57.42
Jean-Francois Raskin & P.S. Thiagarajan: Formal Modeling and Analysis of Timed Systems
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 …
PDF
Anglais
DRM
€57.85
Marsha Chechik & Jean-Francois Raskin: Tools and Algorithms for the Construction and Analysis of Systems
This bookconstitutes the proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2016, which tookplace in Eindhoven, The Netherlan …
PDF
Anglais
DRM
€57.82
Krishnendu Chatterjee & Laurent Doyen: Principles of Systems Design
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 …
EPUB
Anglais
DRM
€102.30
