Matches in Library of Congress for { <http://lccn.loc.gov/2006939067> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 2006939067 contributor B10747250.
- 2006939067 created "c2007.".
- 2006939067 date "2007".
- 2006939067 date "c2007.".
- 2006939067 dateCopyrighted "c2007.".
- 2006939067 description "Includes bibliographical references (p. [627]-643) and index.".
- 2006939067 extent "xxix, 658 p. :".
- 2006939067 identifier "354068977X (pbk.)".
- 2006939067 identifier "9783540689775 (pbk.)".
- 2006939067 identifier 2006939067-d.html.
- 2006939067 isPartOf "Lecture notes in computer science ; 4334.".
- 2006939067 isPartOf "Lecture notes in computer science, 0302-9743 ; 4334. Lecture notes in artificial intelligence".
- 2006939067 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 2006939067 issued "2007".
- 2006939067 issued "c2007.".
- 2006939067 language "eng".
- 2006939067 publisher "Berlin ; New York : Springer,".
- 2006939067 subject "005.1/4 22".
- 2006939067 subject "Computer software Verification.".
- 2006939067 subject "Java (Computer program language)".
- 2006939067 subject "Object-oriented methods (Computer science)".
- 2006939067 subject "QA76.76.V47 V474 2007".
- 2006939067 title "Verification of object-oriented software : the KeY approach / Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.) ; foreword by K. Rustan M. Leino.".
- 2006939067 type "text".