Matches in Library of Congress for { <http://lccn.loc.gov/2012947808> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 2012947808 alternative "SEFM 2012.".
- 2012947808 contributor B12704198.
- 2012947808 contributor B12704199.
- 2012947808 created "c2012.".
- 2012947808 date "2012".
- 2012947808 date "c2012.".
- 2012947808 dateCopyrighted "c2012.".
- 2012947808 description "Includes bibliographical references and author index.".
- 2012947808 extent "xiii, 384 p. ;".
- 2012947808 identifier "3642338259 (pbk. : alk. paper)".
- 2012947808 identifier "9783642338250 (pbk. : alk. paper)".
- 2012947808 isPartOf "LNCS sublibrary. SL 2, Programming and software engineering.".
- 2012947808 isPartOf "Lecture notes in computer science ; 7504.".
- 2012947808 issued "2012".
- 2012947808 issued "c2012.".
- 2012947808 language "eng".
- 2012947808 publisher "Berlin ; New York : Springer,".
- 2012947808 subject "005.1 23".
- 2012947808 subject "Formal methods (Computer science) Congresses.".
- 2012947808 subject "QA76.758 .I3223 2012".
- 2012947808 subject "Software engineering Congresses.".
- 2012947808 title "SEFM 2012.".
- 2012947808 title "Software engineering and formal methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012 : proceedings / George Eleftherakis, Mike Hinchey, Mike Holcombe (eds.).".
- 2012947808 type "text".