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 Sprachen

Pearson Education Deutschland GmbH2002-01-01
Validation of Stochastic SystemsA Guide to Current Research

Springer London, Limited2004-01-01
CONCUR 2006 - Concurrency Theory17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30 2006

Springer London, Limited2006-01-01
Principles of Model Checking

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

Springer 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. Proceedings

Springer Nature2018-01-01
Formal Techniques for Distributed Objects, Components, and Systems

Springer2018-05-30