Verification of sequential and concurrent programs /
Apt, Krzysztof R., 1949-
Verification of sequential and concurrent programs / Krzysztof R. Apt, Frank S. de Boer, Ernst-Rudiger Olderog - 3rd extended ed. - London ; New York : Springer, c2009. - xxiii, 502 p. : ill. ; 25 cm. - Texts in computer science .
Includes bibliographical references and indexes.
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.
9781848827448 (hbk.) 184882744X (hbk.)
2009932111
GBA982291 bnb
015352501 Uk
Computer software--Verification.
005.14 / APV
Verification of sequential and concurrent programs / Krzysztof R. Apt, Frank S. de Boer, Ernst-Rudiger Olderog - 3rd extended ed. - London ; New York : Springer, c2009. - xxiii, 502 p. : ill. ; 25 cm. - Texts in computer science .
Includes bibliographical references and indexes.
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.
9781848827448 (hbk.) 184882744X (hbk.)
2009932111
GBA982291 bnb
015352501 Uk
Computer software--Verification.
005.14 / APV