Matches in Library of Congress for { <http://lccn.loc.gov/2009936485> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items per page.
- 2009936485 contributor B11731185.
- 2009936485 contributor B11731186.
- 2009936485 created "2009.".
- 2009936485 date "2009".
- 2009936485 date "2009.".
- 2009936485 dateCopyrighted "2009.".
- 2009936485 description "Includes bibliographical references and index.".
- 2009936485 extent "xvii, 820 p. :".
- 2009936485 identifier "3642050883 (pbk.)".
- 2009936485 identifier "9783642050886 (pbk.)".
- 2009936485 identifier 04.
- 2009936485 isPartOf "Lecture notes in computer science ; 5850".
- 2009936485 issued "2009".
- 2009936485 issued "2009.".
- 2009936485 language "eng".
- 2009936485 publisher "Berlin ; New York : Springer,".
- 2009936485 spatial "Eindhoven <2009>".
- 2009936485 subject "005.1 22".
- 2009936485 subject "Computer software Development Congresses.".
- 2009936485 subject "Formal methods (Computer science) Congresses.".
- 2009936485 subject "Formale Methode Kongress Eindhoven <2009>".
- 2009936485 subject "Formale Methode. swd".
- 2009936485 subject "QA76.76.D47 I593 2009".
- 2009936485 subject "System design Mathematics Congresses.".
- 2009936485 title "FM 2009 : formal methods : Second World Congress Eindhoven, The Netherlands, November 2-6, 2009 : proceedings / Ana Cavalcanti, Dennis Dams (Eds.).".
- 2009936485 type "Eindhoven (2009) swd".
- 2009936485 type "Kongress. swd".
- 2009936485 type "text".