Matches in Library of Congress for { <http://lccn.loc.gov/2010938599> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- 2010938599 contributor B12096577.
- 2010938599 created "2010.".
- 2010938599 date "2010".
- 2010938599 date "2010.".
- 2010938599 dateCopyrighted "2010.".
- 2010938599 description "Includes bibliographical references and index.".
- 2010938599 extent "143 p. :".
- 2010938599 hasFormat "Also issued online.".
- 2010938599 identifier "3642171710 (pbk.)".
- 2010938599 identifier "9783642171710 (pbk.)".
- 2010938599 isFormatOf "Also issued online.".
- 2010938599 isPartOf "Festschrift".
- 2010938599 isPartOf "Lecture notes in computer science ; 6463.".
- 2010938599 isPartOf "Lecture notes in computer science, 0302-9743 ; 6463".
- 2010938599 isPartOf "Lecture notes in computer science. Festschrift.".
- 2010938599 issued "2010".
- 2010938599 issued "2010.".
- 2010938599 language "eng".
- 2010938599 publisher "Berlin ; New York : Springer,".
- 2010938599 relation "Also issued online.".
- 2010938599 subject "005.1/14 23".
- 2010938599 subject "Computer logic.".
- 2010938599 subject "Computer programs Verification.".
- 2010938599 subject "Functional programming (Computer science)".
- 2010938599 subject "QA76.62 .V47 2010".
- 2010938599 title "Verification, induction, termination analysis : Festschrift for Christoph Walther on the occasion of his 60th birthday / Simon Siegler, Nathan Wasser (eds.).".
- 2010938599 type "text".