Matches in Library of Congress for { <http://lccn.loc.gov/2012935686> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 2012935686 contributor B12699171.
- 2012935686 contributor B12699172.
- 2012935686 created "c2012.".
- 2012935686 date "2012".
- 2012935686 date "c2012.".
- 2012935686 dateCopyrighted "c2012.".
- 2012935686 description "Includes bibliographical references (p. 259-261) and index.".
- 2012935686 description "Introduction -- Background -- Simple Examples -- Intermediary Examples -- Procedures and Recursion -- Case Study: Lattice Cover Graph Construction -- Case Study 2: Classifying MADFA Construction Algorithms.".
- 2012935686 extent "xiii, 264 p. :".
- 2012935686 identifier "364227918X (alk. paper)".
- 2012935686 identifier "9783642279188 (alk. paper)".
- 2012935686 identifier "9783642279195 (ebk.)".
- 2012935686 issued "2012".
- 2012935686 issued "c2012.".
- 2012935686 language "eng".
- 2012935686 publisher "Berlin ; New York : Springer,".
- 2012935686 subject "005.1".
- 2012935686 subject "Formal methods (Computer science)".
- 2012935686 subject "QA76.758 .K68 2012".
- 2012935686 subject "Software engineering.".
- 2012935686 tableOfContents "Introduction -- Background -- Simple Examples -- Intermediary Examples -- Procedures and Recursion -- Case Study: Lattice Cover Graph Construction -- Case Study 2: Classifying MADFA Construction Algorithms.".
- 2012935686 title "The correctness-by-construction approach to programming / Derrick G. Kourie, Bruce W. Watson.".
- 2012935686 type "text".