Programmverifikation
Rate this book:
Buy This Book
As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.
Know this book?
Help other readers discover this title by sharing your thoughts. Be the first to write a review.
Share Your Thoughts
Sign in to write a review.
More by Krzysztof R Apt
Constraint logic programming using ECLiPSe
Edsger Wybe Dijkstra
Edsger Wybe Dijkstra
New trends in constraints
Proceedings of the 13th Confer
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
The Logic Programming Paradigm
Verification of Sequential and Concurrent Programs