ProgrammverifikationKrzysztof R. Apt
Programmverifikation
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
- 1996
- Language
- German
- Publisher
- Springer
- Editions
- 1
- Pages
- 258
- ISBN
- 9783540574798
Data source: Wikidata
More by Krzysztof R. Apt
Lectures in game theory for computer scientistsKrzysztof R. Apt
Lectures in game theory for computer scientists
Krzysztof R. Apt · 2011
Verification of sequential and concurrent programsKrzysztof R. Apt
Verification of sequential and concurrent programs
Krzysztof R. Apt · 2009
New perspectives on games and interactionKrzysztof R. Apt
New perspectives on games and interaction
Krzysztof R. Apt · 2008
Foundations of deductive databases and logic programmingKrzysztof R. Apt
Foundations of deductive databases and logic programming
Krzysztof R. Apt · 2014
Principles of constraint programmingKrzysztof R. Apt
Principles of constraint programming
Krzysztof R. Apt · 2010
New perspectives on games and interactionKrzysztof R. Apt
New perspectives on games and interaction
Krzysztof R. Apt · 2008
Logic programming languagesKrzysztof R. Apt
Logic programming languages
Krzysztof R. Apt · 1993