Verification of sequential and concurrent programs
- ISBN
- 9781848827448
Verification of sequential and concurrent programs is a verification, computer software book by Krzysztof R. Apt.
About this 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.
About the Author
Krzysztof R. Apt is the author of Verification of sequential and concurrent programs. Browse their full catalog on Booklogr.
Editions & Formats
Reviews
No reviews yet. Have you read this book? Share your thoughts with the Booklogr community.
Sign in Sign in to write a review
Frequently Asked Questions
What genre is Verification of sequential and concurrent programs?+
Verification of sequential and concurrent programs is a Verification, Computer software, Logic design, Computer science, Computer software, verification book.
What is Verification of sequential and concurrent programs about?+
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 co...
Who wrote Verification of sequential and concurrent programs?+
Verification of sequential and concurrent programs was written by Krzysztof R. Apt.