Matches in Library of Congress for { <http://lccn.loc.gov/2008927062> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2008927062 contributor B11381094.
- 2008927062 contributor B11381095.
- 2008927062 created "c2008.".
- 2008927062 date "2008".
- 2008927062 date "c2008.".
- 2008927062 dateCopyrighted "c2008.".
- 2008927062 description "Includes bibliographical references and index.".
- 2008927062 extent "xiii, 436 p. :".
- 2008927062 identifier "354068235X (softcover : alk. paper)".
- 2008927062 identifier "9783540682356 (softcover : alk. paper)".
- 2008927062 isPartOf "Lecture notes in computer science ; 5014".
- 2008927062 issued "2008".
- 2008927062 issued "c2008.".
- 2008927062 language "eng".
- 2008927062 publisher "Berlin ; New York : Springer,".
- 2008927062 subject "005.1 22".
- 2008927062 subject "Computer software Development Congresses.".
- 2008927062 subject "Formal methods (Computer science) Congresses.".
- 2008927062 subject "QA76.76.D47 I593 2008".
- 2008927062 subject "System design Mathematics Congresses.".
- 2008927062 title "FM 2008 : formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings / Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.).".
- 2008927062 type "text".