Matches in Library of Congress for { <http://lccn.loc.gov/2008929605> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items per page.
- 2008929605 contributor B11382832.
- 2008929605 created "2008.".
- 2008929605 date "2008".
- 2008929605 date "2008.".
- 2008929605 dateCopyrighted "2008.".
- 2008929605 description "Includes bibliographical references and index.".
- 2008929605 extent "vi, 230 p. :".
- 2008929605 identifier "3540698493 (pbk.)".
- 2008929605 identifier "9783540698494 (pbk.)".
- 2008929605 identifier F?func=service&doc_library=BVB01&doc_number=016560863&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA.
- 2008929605 isPartOf "LNCS. Festschrift".
- 2008929605 isPartOf "Lecture notes in computer science ; 5000. 0302-9743".
- 2008929605 isPartOf "Lecture notes in computer science, 0302-9743 ; 5000".
- 2008929605 isPartOf "Lecture notes in computer science. Festschrift.".
- 2008929605 issued "2008".
- 2008929605 issued "2008.".
- 2008929605 language "eng".
- 2008929605 publisher "Berlin : Springer,".
- 2008929605 subject "005.131 22".
- 2008929605 subject "Computer systems Verification.".
- 2008929605 subject "Génie logiciel.".
- 2008929605 subject "Informatique.".
- 2008929605 subject "Model Checking. swd".
- 2008929605 subject "QA76.76.V47 A23 2008".
- 2008929605 subject "Structure logique.".
- 2008929605 title "25 years of model checking : history, achievements, perspectives / Orna Grumberg, Helmut Veith (eds.).".
- 2008929605 type "Aufsatzsammlung. swd".
- 2008929605 type "text".