Matches in Library of Congress for { <http://lccn.loc.gov/2003066407> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 2003066407 contributor B9557878.
- 2003066407 created "c2004.".
- 2003066407 date "2004".
- 2003066407 date "c2004.".
- 2003066407 dateCopyrighted "c2004.".
- 2003066407 description "Includes bibliographical references (p. [561]-589) and index.".
- 2003066407 extent "xiv, 600 p. :".
- 2003066407 identifier "3540002960 (alk. paper)".
- 2003066407 identifier 2003066407-b.html.
- 2003066407 identifier 2003066407-d.html.
- 2003066407 identifier 2003066407-t.html.
- 2003066407 isPartOf "Texts in theoretical computer science".
- 2003066407 issued "2004".
- 2003066407 issued "c2004.".
- 2003066407 language "eng".
- 2003066407 publisher "Berlin ; New York : Springer-Verlag,".
- 2003066407 subject "004.2/1 22".
- 2003066407 subject "Computer algorithms.".
- 2003066407 subject "Computer systems Verification.".
- 2003066407 subject "Formal methods (Computer science)".
- 2003066407 subject "QA76.76.V47 S34 2004".
- 2003066407 title "Verification of reactive systems : formal methods and algorithms / Klaus Schneider.".
- 2003066407 type "text".