C

Christel Baier

8 books found

Books by Christel Baier
Principles of model checkingChristel Baier
⏱ 16h 24m

Principles of model checking

Christel Baier

2008984 pp.
Foundations of Software Science and Computation StructuresChristel Baier
⏱ 9h 52m

Foundations of Software Science and Computation Structures

Christel Baier

2018592 pp.
Tools and Algorithms for the Construction and Analysis of SystemsChristel Baier
⏱ 12h 5m

Tools and Algorithms for the Construction and Analysis of Systems

Christel Baier

2015725 pp.
CONCUR 2006 - Concurrency TheoryChristel Baier

CONCUR 2006 - Concurrency Theory

Christel Baier

2006No page data
Concur 2006 - Concurrency TheoryChristel Baier,Holger Hermanns

Concur 2006 - Concurrency Theory

Christel Baier,Holger Hermanns

2008No page data
Formal Techniques for Distributed Objects, Components, and SystemsChristel Baier
⏱ 3h 28m

Formal Techniques for Distributed Objects, Components, and Systems

Christel Baier

2018208 pp.
Validation of stochastic systemsChristel Baier
⏱ 7h 50m

Validation of stochastic systems

Christel Baier

2004470 pp.
SOFSEM 2017 : Theory and Practice of Computer ScienceBernhard Steffen
⏱ 9h 4m

SOFSEM 2017 : Theory and Practice of Computer Science

Bernhard Steffen

2017544 pp.