Matches in Library of Congress for { <http://lccn.loc.gov/2008921563> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 2008921563 contributor B11377303.
- 2008921563 contributor B11377304.
- 2008921563 created "c2008".
- 2008921563 date "2008".
- 2008921563 date "c2008".
- 2008921563 dateCopyrighted "c2008".
- 2008921563 description "Includes bibliographical references (p. [157]-164) and index.".
- 2008921563 extent "xii, 169 p. :".
- 2008921563 identifier "3540774254".
- 2008921563 identifier "9783540774259".
- 2008921563 identifier 2008921563-d.html.
- 2008921563 identifier 2008921563-t.html.
- 2008921563 isPartOf "Monographs in theoretical computer science.".
- 2008921563 isPartOf "Monographs in theoretical computer science: an EATCS series 1431-2654".
- 2008921563 issued "2008".
- 2008921563 issued "c2008".
- 2008921563 language "eng".
- 2008921563 publisher "Berlin : Springer,".
- 2008921563 subject "005.1/4 22".
- 2008921563 subject "Computer software Testing.".
- 2008921563 subject "Computer systems Verification.".
- 2008921563 subject "QA76.76.T48 E87 2008".
- 2008921563 title "Unfoldings : a partial-order approach to model checking / Javier Esparza, Keijo Heljanko.".
- 2008921563 type "text".