Matches in Library of Congress for { <http://lccn.loc.gov/2009932111> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2009932111 abstract "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.".
- 2009932111 contributor B11728271.
- 2009932111 contributor B11728272.
- 2009932111 created "c2009.".
- 2009932111 date "2009".
- 2009932111 date "c2009.".
- 2009932111 dateCopyrighted "c2009.".
- 2009932111 description "Includes bibliographical references and indexes.".
- 2009932111 description "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.".
- 2009932111 extent "xxiii, 502 p. :".
- 2009932111 identifier "184882744X (hbk.)".
- 2009932111 identifier "9781848827448 (hbk.)".
- 2009932111 isPartOf "Texts in computer science".
- 2009932111 issued "2009".
- 2009932111 issued "c2009.".
- 2009932111 language "eng".
- 2009932111 publisher "Dordrecht ; London ; New York : Springer,".
- 2009932111 subject "005.14 22".
- 2009932111 subject "Computer software Verification.".
- 2009932111 subject "QA76.76.V47 A67 2009".
- 2009932111 title "Verification of sequential and concurrent programs / Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog ; foreword by Amir Pnueli.".
- 2009932111 type "text".