Edsger Wybe DijkstraKrzysztof R. Apt
Edsger Wybe Dijkstra
Krzysztof R. Apt, Tony Hoare · 2022
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
- 2022
- Language
- English
- Publisher
- Morgan & Claypool Publishers
- Editions
- 3
- ISBN
- 9781450397711
Data source: Wikidata
More by Krzysztof R. Apt
New trends in constraintsKrzysztof R. Apt
New trends in constraints
Krzysztof R. Apt · 2000
The Logic Programming ParadigmKrzysztof R. Apt
The Logic Programming Paradigm
Krzysztof R. Apt · 1999
Verification of Sequential and Concurrent ProgramsKrzysztof R. Apt
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt · 1997
Verification of Sequential and Concurrent ProgramsKrzysztof R. Apt
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt · 1991
Constraint logic programming using ECLiPSeKrzysztof R. Apt
Constraint logic programming using ECLiPSe
Krzysztof R. Apt · 2007
Logic Programming LanguagesKrzysztof R. Apt
Logic Programming Languages
Krzysztof R. Apt · 1993
Logics and Models of Concurrent SystemsKrzysztof R. Apt
Logics and Models of Concurrent Systems
Krzysztof R. Apt · 1985
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and KnowledgeKrzysztof R. Apt
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Krzysztof R. Apt · 2011
Lectures in Game Theory for Computer ScientistsKrzysztof R. Apt
Lectures in Game Theory for Computer Scientists
Krzysztof R. Apt · 2011
Recent Advances in ConstraintsKrzysztof R. Apt
Recent Advances in Constraints
Krzysztof R. Apt · 2004