Matches in Library of Congress for { <http://lccn.loc.gov/2011286573> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items per page.
- 2011286573 contributor B12174643.
- 2011286573 created "c2011.".
- 2011286573 date "2011".
- 2011286573 date "c2011.".
- 2011286573 dateCopyrighted "c2011.".
- 2011286573 description "Includes bibliographical references and index.".
- 2011286573 description "Introduction -- An overview of formal methods tools and techniques -- Propositional logic -- First-order logic -- Hoare logic -- Generating verification conditions -- Safety properties -- Procedures and contracts -- Specifying C programs -- Verifying C programs.".
- 2011286573 extent "xii, 263 p. ;".
- 2011286573 identifier "0857290177 (pbk.)".
- 2011286573 identifier "9780857290175 (pbk.)".
- 2011286573 identifier 2011286573-b.html.
- 2011286573 identifier 2011286573-d.html.
- 2011286573 identifier 2011286573-t.html.
- 2011286573 isPartOf "Undergraduate topics in computer science, 1863-7310".
- 2011286573 isPartOf "Undergraduate topics in computer science.".
- 2011286573 issued "2011".
- 2011286573 issued "c2011.".
- 2011286573 language "eng".
- 2011286573 publisher "London : Springer,".
- 2011286573 subject "005.14 22".
- 2011286573 subject "Computer software Development.".
- 2011286573 subject "Computer software Verification.".
- 2011286573 subject "QA76.76.V47 R54 2011".
- 2011286573 tableOfContents "Introduction -- An overview of formal methods tools and techniques -- Propositional logic -- First-order logic -- Hoare logic -- Generating verification conditions -- Safety properties -- Procedures and contracts -- Specifying C programs -- Verifying C programs.".
- 2011286573 title "Rigorous software development : an introduction to program verification / José Bacelar Almeida ... [et al.].".
- 2011286573 type "text".