Matches in Library of Congress for { <http://lccn.loc.gov/2007935932> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 2007935932 contributor B11065260.
- 2007935932 contributor B11065261.
- 2007935932 created "c2007.".
- 2007935932 date "2007".
- 2007935932 date "c2007.".
- 2007935932 dateCopyrighted "c2007.".
- 2007935932 description "Includes bibliographical references and index.".
- 2007935932 extent "x, 368 p. :".
- 2007935932 identifier "3540754539 (soft cover : alk. paper)".
- 2007935932 identifier "9783540754534 (soft cover : alk. paper)".
- 2007935932 isPartOf "Lecture notes in computer science, 0302-9743 ; 4763".
- 2007935932 issued "2007".
- 2007935932 issued "c2007.".
- 2007935932 language "eng".
- 2007935932 publisher "Berlin ; New York : Springer,".
- 2007935932 subject "005.3 22".
- 2007935932 subject "Automata Congresses.".
- 2007935932 subject "Computer simulation Congresses.".
- 2007935932 subject "Formal methods (Computer science) Congresses.".
- 2007935932 subject "QA76.9.C65 F676 2007".
- 2007935932 subject "Temporal automata Congresses.".
- 2007935932 title "Formal modeling and analysis of timed systems : 5th international conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 : proceedings / Jean-Francois Raskin, P.S. Thiagarajan (eds.).".
- 2007935932 type "text".