Joost-Pieter Katoen is Professor at the RWTH Aachen University and leads the Software Modeling and Verification Group within the Department of Computer Science. He is affiliated with the Formal Methods and Tools Group at the University of Twente.
7 Ebooki wg Christel Baier
Christel Baier & Joost-Pieter Katoen: Principles of Model Checking
A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical e …
PDF
Angielski
DRM
€280.50
Christel Baier & Mark van den Brand: SOFSEM 2017: Theory and Practice of Computer Science
This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, held in Limerick, Ireland, in January 20 …
EPUB
Angielski
DRM
€57.19
Christel Baier & Ugo Dal Lago: Foundations of Software Science and Computation Structures
This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in …
EPUB
Angielski
DRM
€3.83
Christel Baier & Luis Caires: Formal Techniques for Distributed Objects, Components, and Systems
This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in Jun …
EPUB
Angielski
DRM
€57.42
Christel Baier & Boudewijn R. Haverkort: Validation of Stochastic Systems
…
PDF
Angielski
DRM
€57.17
Christel Baier & Holger Hermanns: CONCUR 2006 – Concurrency Theory
This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, August 27-30, 2006. The purpose of the CONCUR conference series is to b …
PDF
Angielski
DRM
€113.51
Christel Baier & Cesare Tinelli: Tools and Algorithms for the Construction and Analysis of Systems
This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2 …
PDF
Angielski
DRM
€57.89
