Matches in Library of Congress for { <http://lccn.loc.gov/2011936636> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 2011936636 contributor B12421565.
- 2011936636 contributor B12421566.
- 2011936636 created "c2011.".
- 2011936636 date "2011".
- 2011936636 date "c2011.".
- 2011936636 dateCopyrighted "c2011.".
- 2011936636 description "Includes bibliographical references and author index.".
- 2011936636 extent "xi, 351 p. :".
- 2011936636 identifier "9783642243097 (pbk. : alk. paper)".
- 2011936636 isPartOf "Lecture notes in computer science, 0302-9743 ; 6919".
- 2011936636 issued "2011".
- 2011936636 issued "c2011.".
- 2011936636 language "eng".
- 2011936636 publisher "Berlin ; New York : Springer".
- 2011936636 subject "Computer simulation Congresses.".
- 2011936636 subject "Formal methods (Computer science) Congresses.".
- 2011936636 subject "Machine theory Congresses.".
- 2011936636 subject "QA76.9.C65 F676 2011".
- 2011936636 subject "Temporal automata Congresses.".
- 2011936636 title "Formal modeling and analysis of timed systems : 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedings / Uli Fahrenberg, Stavros Tripakis (eds.).".
- 2011936636 type "text".