Matches in Library of Congress for { <http://lccn.loc.gov/2004102974> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 2004102974 contributor B9875274.
- 2004102974 contributor B9875275.
- 2004102974 created "2004.".
- 2004102974 date "2004".
- 2004102974 date "2004.".
- 2004102974 dateCopyrighted "2004.".
- 2004102974 description "Includes bibliographical references and index.".
- 2004102974 extent "xi, 540 p. :".
- 2004102974 identifier "3540213775".
- 2004102974 identifier 2004102974-d.html.
- 2004102974 identifier 2004102974.html.
- 2004102974 isPartOf "Lecture notes in computer science, 0302-9743 ; 2999".
- 2004102974 issued "2004".
- 2004102974 issued "2004.".
- 2004102974 language "eng".
- 2004102974 publisher "New York, NY : Springer-Verlag Berlin Heidelberg,".
- 2004102974 subject "005.13/1 22".
- 2004102974 subject "Formal methods (Computer science) Congresses.".
- 2004102974 subject "QA76.9.F67 I58 2004".
- 2004102974 title "Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings / Eerke A. Boiten, John Derrick, Graeme Smith (eds.).".
- 2004102974 type "text".