Formal Techniques for Distributed Objects, Components, and SystemsChristel Baier
Formal Techniques for Distributed Objects, Components, and Systems
Christel Baier, Luís Caires · 2018
Where to buy
Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.
View on AmazonThis is an affiliate link: if you buy through it, the site earns a small commission at no extra cost to you, which helps us bring quality content and maintain the site. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2018
- Publisher
- Springer
- Editions
- 1
- Pages
- 208
- ISBN
- 9783319926117
Data source: Wikidata
More by Christel Baier
Principles of model checkingChristel Baier
Principles of model checking
Christel Baier · 2008
Validation of stochastic systemsChristel Baier
Validation of stochastic systems
Christel Baier · 2004
Foundations of Software Science and Computation StructuresChristel Baier
Foundations of Software Science and Computation Structures
Christel Baier · 2018
Tools and Algorithms for the Construction and Analysis of SystemsChristel Baier
Tools and Algorithms for the Construction and Analysis of Systems
Christel Baier · 2015
CONCUR 2006 - Concurrency TheoryChristel Baier
CONCUR 2006 - Concurrency Theory
Christel Baier · 2006