Matches in Library of Congress for { <http://lccn.loc.gov/2006930417> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items per page.
- 2006930417 contributor B10741085.
- 2006930417 contributor B10741086.
- 2006930417 created "c2006.".
- 2006930417 date "2006".
- 2006930417 date "c2006.".
- 2006930417 dateCopyrighted "c2006.".
- 2006930417 description "Includes bibliographical references and index.".
- 2006930417 extent "xv, 620 p. :".
- 2006930417 hasFormat "Also available on the World Wide Web.".
- 2006930417 identifier "3540372156".
- 2006930417 identifier "9783540372158".
- 2006930417 identifier 2006930417-d.html.
- 2006930417 identifier openurl.asp?genre=journal&issn=0302-9743&volume=4085.
- 2006930417 isFormatOf "Also available on the World Wide Web.".
- 2006930417 isPartOf "Lecture notes in computer science ; 4085".
- 2006930417 isPartOf "Lecture notes in computer science ; 4085.".
- 2006930417 issued "2006".
- 2006930417 issued "c2006.".
- 2006930417 language "eng".
- 2006930417 publisher "Berlin : Springer,".
- 2006930417 relation "Also available on the World Wide Web.".
- 2006930417 subject "005.3 22".
- 2006930417 subject "Computer software Development Congresses.".
- 2006930417 subject "Formal methods (Computer science) Congresses.".
- 2006930417 subject "QA76.76.D47 I593 2006".
- 2006930417 subject "System design Mathematics Congresses.".
- 2006930417 title "FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings / Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.).".
- 2006930417 type "text".