/LC.GIF&client=easterncarolinaedu)
Verification of sequential and concurrent programs / Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog ; foreword by Amir Pnueli.
| Author/creator | Apt, Krzysztof R., 1949- |
| Other author | Boer, Frank S. de. |
| Other author | Olderog, E.-R. |
| Format | Electronic |
| Edition | 3rd extended ed. |
| Publication Info | Dordrecht ; London ; New York : Springer, |
| Description | xxiii, 502 p. : ill. ; 25 cm. |
| Supplemental Content | Full text available from Springer Books |
| Supplemental Content | Full text available from Springer Nature - Springer Computer Science eBooks 2009 English International |
| Subjects |
| Series | Texts in computer science |
| Summary | 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. |
| Bibliography note | Includes bibliographical references and indexes. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 2009932111 |
| ISBN | 9781848827448 (hbk.) |
| ISBN | 184882744X (hbk.) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |