Verification of sequential and concurrent programsKrzysztof R. Apt
Verification of sequential and concurrent programs
Krzysztof R. Apt · 2009
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.
About the book
This third edition provides a systematic exploration of one of the most common approaches to program verification, known as the assertional approach. This approach is applied to deterministic & nondeterministic sequential programs of varying complexity, together with both parallel and distributed concurrent programs.
Book details
- Year
- 2009
- Language
- English
- Series
- Texts in computer science
- Publisher
- Springer
- Editions
- 1
- Pages
- 502
- ISBN
- 9781848827448
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
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
ProgrammverifikationKrzysztof R. Apt
Programmverifikation
Krzysztof R. Apt · 1996