Matches in Library of Congress for { <http://lccn.loc.gov/2012954549> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- 2012954549 alternative "FMCO 2011.".
- 2012954549 contributor B12706488.
- 2012954549 contributor B12706489.
- 2012954549 created "c2013.".
- 2012954549 date "2013".
- 2012954549 date "c2013.".
- 2012954549 dateCopyrighted "c2013.".
- 2012954549 description "Includes bibliographical references and author index.".
- 2012954549 extent "x, 356 p. :".
- 2012954549 identifier "3642358861 (pbk. : alk. paper)".
- 2012954549 identifier "9783642358869 (pbk. : alk. paper)".
- 2012954549 isPartOf "LNCS sublibrary. SL 2, Programming and software engineering.".
- 2012954549 isPartOf "Lecture notes in computer science, 0302-9743 ; 7542.".
- 2012954549 isPartOf "Lecture notes in computer science. State-of-the-art survey.".
- 2012954549 issued "2013".
- 2012954549 issued "c2013.".
- 2012954549 language "eng".
- 2012954549 publisher "Berlin ; New York : Springer,".
- 2012954549 subject "004.01/51 23".
- 2012954549 subject "Formal methods (Computer science) Congresses.".
- 2012954549 subject "QA76.9.F67 F53 2011".
- 2012954549 subject "Software engineering Congresses.".
- 2012954549 title "FMCO 2011.".
- 2012954549 title "Formal methods for components and objects : 10th international symposium, FMCO 2011, Turin, Italy, October 3-5, 2011 : revised selected papers / Bernhard Beckert ... [et al.] (eds.).".
- 2012954549 type "text".