Verification of sequential and concurrent programs - Info and Reading Options
By Krzysztof R. Apt
"Verification of sequential and concurrent programs" was published by Springer-Verlag in 1997 - New York, it has 364 pages and the language of the book is English.
“Verification of sequential and concurrent programs” Metadata:
- Title: ➤ Verification of sequential and concurrent programs
- Author: Krzysztof R. Apt
- Language: English
- Number of Pages: 364
- Publisher: Springer-Verlag
- Publish Date: 1997
- Publish Location: New York
“Verification of sequential and concurrent programs” Subjects and Themes:
- Subjects: ➤ Verification - Computer software - Vérification - Logiciels - Programmverifikation - Software - Verificatie
Edition Specifications:
- Pagination: xvii, 364 p. ;
Edition Identifiers:
- The Open Library ID: OL991370M - OL3253286W
- Online Computer Library Center (OCLC) ID: 36138298
- Library of Congress Control Number (LCCN): 96029771
- ISBN-13: 9780387948966
- ISBN-10: 0387948961
- All ISBNs: 0387948961 - 9780387948966
AI-generated Review of “Verification of sequential and concurrent programs”:
"Verification of sequential and concurrent programs" Description:
The Open Library:
Computer programs are becoming more and more part of systems that we rely on in our daily lives. The proper functioning and safety of these systems is of paramount importance. A major challenge for computer science is to develop methods that ensure program correctness. This textbook addresses this problem by providing a structured introduction to program verification. It uses one of the most common approaches, called the assertional method, because it relies on the use of assertions that are attached to program control points. Sequential programs in the form of deterministic and nondeterministic programs, and concurrent programs in the form of parallel and distributed programs are considered together with proof systems for the verification of their partial and total correctness. The use of these proof systems is demonstrated with the help of case studies. In particular, solutions to classical problems such as producer/consumer and mutual exclusion are formally verified. Each chapter is developed in a systematic and easy-to-understand manner and concludes with exercises and bibliographic remarks for further reading. As a result, this textbook will be appropriate for either an introductory course on program verification for the upper division of undergraduate studies or for graduate studies. It can also be used as an introduction to operational semantics of programming languages.
Read “Verification of sequential and concurrent programs”:
Read “Verification of sequential and concurrent programs” by choosing from the options below.
Search for “Verification of sequential and concurrent programs” downloads:
Visit our Downloads Search page to see if downloads are available.
Borrow "Verification of sequential and concurrent programs" Online:
Check on the availability of online borrowing. Please note that online borrowing has copyright-based limitations and that the quality of ebooks may vary.
- Is Online Borrowing Available: Yes
- Preview Status: borrow
- Check if available: The Open Library & The Internet Archive
Find “Verification of sequential and concurrent programs” in Libraries Near You:
Read or borrow “Verification of sequential and concurrent programs” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Verification of sequential and concurrent programs” at a library near you.
Buy “Verification of sequential and concurrent programs” online:
Shop for “Verification of sequential and concurrent programs” on popular online marketplaces.
- Ebay: New and used books.
