Matches in Library of Congress for { <http://lccn.loc.gov/2005935883> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2005935883 contributor B10402589.
- 2005935883 contributor B10402590.
- 2005935883 created "c2005.".
- 2005935883 date "2005".
- 2005935883 date "c2005.".
- 2005935883 dateCopyrighted "c2005.".
- 2005935883 description "Includes bibliographical references and index.".
- 2005935883 extent "xi, 405 p. :".
- 2005935883 identifier "3540304924 (softcover : alk. paper)".
- 2005935883 identifier "9783540304920 (softcover : alk. paper)".
- 2005935883 identifier 2005935883-d.html.
- 2005935883 identifier 2005935883.html.
- 2005935883 isPartOf "Lecture notes in computer science, 0302-9743 ; 3771".
- 2005935883 issued "2005".
- 2005935883 issued "c2005.".
- 2005935883 language "eng".
- 2005935883 publisher "Berlin ; New York : Springer,".
- 2005935883 subject "004.01/51 22".
- 2005935883 subject "Formal methods (Computer science) Congresses.".
- 2005935883 subject "QA76.9.F67 I58 2005".
- 2005935883 title "Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29--December 2, 2005 : proceedings / Judi Romijn, Graeme Smith, Jaco van de Pol (eds.).".
- 2005935883 type "text".