Matches in Library of Congress for { <http://lccn.loc.gov/2008926951> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items per page.
- 2008926951 alternative "FMICS 2007".
- 2008926951 alternative "International Workshop on Formal Methods for Industrial Critical Systems".
- 2008926951 contributor B11381036.
- 2008926951 contributor B11381037.
- 2008926951 created "c2008.".
- 2008926951 date "2008".
- 2008926951 date "c2008.".
- 2008926951 dateCopyrighted "c2008.".
- 2008926951 description "Includes bibliographical references and author index.".
- 2008926951 extent "x, 250 p. :".
- 2008926951 identifier "3540797068".
- 2008926951 identifier "9783540797067".
- 2008926951 identifier 2008926951-d.html.
- 2008926951 isPartOf "LNCS sublibrary. SL 2, Programming and software engineering".
- 2008926951 isPartOf "Lecture notes in computer science, 0302-9743 ; 4916".
- 2008926951 issued "2008".
- 2008926951 issued "c2008.".
- 2008926951 language "eng".
- 2008926951 publisher "Berlin ; New York : Springer,".
- 2008926951 subject "005.1/4 22".
- 2008926951 subject "Computer programs Verification Congresses.".
- 2008926951 subject "Formal methods (Computer science) Congresses.".
- 2008926951 subject "QA76.9.F67 I594 2007".
- 2008926951 subject "Software engineering Congresses.".
- 2008926951 title "FMICS 2007".
- 2008926951 title "Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers / Stefan Leue, Pedro Merino (eds.).".
- 2008926951 title "International Workshop on Formal Methods for Industrial Critical Systems".
- 2008926951 type "text".