Christel Baier
Identifiers
- Open LibraryOL3401144A
Top Subjects
- Parallel processing (electronic computers) (1)
- Computer software, development (1)
- System analysis (1)
- System design (1)
- Computer science (1)
Books by Christel Baier
Total count: 8
-
Theoretische InformatikEinfuhrung in Berechenbarkeit, Komplexitat und Formale SprachenPearson Education Deutschland GmbH2002-01-01
-
Validation of Stochastic SystemsA Guide to Current ResearchSpringer London, Limited2004-01-01
-
CONCUR 2006 - Concurrency Theory17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30 2006Springer London, Limited2006-01-01
-
Principles of Model CheckingMIT Press2008-01-01
-
Tools and Algorithms for the Construction and Analysis of Systems21st International Conference, TACAS 2015, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, ProceedingsSpringer Berlin / Heidelberg2015-01-01
SOFSEM 2017 : Theory and Practice of Computer Science43rd International Conference on Current Trends in Theory and Practice of Computer Science, ...Springer2017-01-11-
Foundations of Software Science and Computation Structures21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. ProceedingsSpringer Nature2018-01-01
Formal Techniques for Distributed Objects, Components, and SystemsSpringer2018-05-30