Classical Decision ProblemEgon Börger
Classical Decision Problem
Egon Börger, Erich Grädel, Yuri Gurevich · 2001
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
- 2001
- Language
- English
- Publisher
- Springer
- Editions
- 3
- Pages
- 492
- ISBN
- 9783540423249
Data source: Wikidata
More by Egon Börger
Architecture Design and Validation MethodsEgon Börger
Architecture Design and Validation Methods
Egon Börger · 2000
Modeling Companion for Software PractitionersEgon Börger
Modeling Companion for Software Practitioners
Egon Börger · 2018
Computation Theory and LogicEgon Börger
Computation Theory and Logic
Egon Börger · 2007
Computer Science LogicEgon Börger
Computer Science Logic
Egon Börger · 1992
CSL '87Egon Börger
CSL '87
Egon Börger · 1988
Structures of ComputingEgon Börger
Structures of Computing
Egon Börger · 2024
Abstract State MachinesEgon Börger
Abstract State Machines
Egon Börger · 2013
Advances in Software EngineeringEgon Börger
Advances in Software Engineering
Egon Börger · 2008
Abstract State Machines, B and ZEgon Börger
Abstract State Machines, B and Z
Egon Börger · 2008
Abstract State Machines 2003 : Advances in Theory and PracticeEgon Börger
Abstract State Machines 2003 : Advances in Theory and Practice
Egon Börger · 2003