Quality Control & Testing - Programming, General Software Engineering
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rudiger Olderog, Amir Pnueli (Foreword by)
Available on Bookshop
Write a review
Books.org participates in affiliate programs including Bookshop.org and the Amazon Services LLC Associates Program. We may earn a commission from qualifying purchases made through links on this page, at no additional cost to you.
Log in to track your reading progress.
No ratings yet.
Log in to write a review.
There are no reviews yet.