Formal Methods : Applications and TechnologyLubos Brim
Formal Methods : Applications and Technology
Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol · 2007
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2007
- Language
- English
- Publisher
- Springer London, Limited
- Editions
- 1
- ISBN
- 9783540709527
Data source: Wikidata
More by Lubos Brim
CONCUR 2002-concurrency theoryLubos Brim
CONCUR 2002-concurrency theory
Lubos Brim · 2002
Mathematical Foundations of Computer Science, 1998Lubos Brim
Mathematical Foundations of Computer Science, 1998
Lubos Brim · 1998
CONCUR 2002 - Concurrency TheoryLubos Brim
CONCUR 2002 - Concurrency Theory
Lubos Brim · 2003