Matches in Library of Congress for { <http://lccn.loc.gov/2004111362> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- 2004111362 alternative "SRM-RT 2004".
- 2004111362 contributor B9882059.
- 2004111362 contributor B9882060.
- 2004111362 created "c2004.".
- 2004111362 date "2004".
- 2004111362 date "c2004.".
- 2004111362 dateCopyrighted "c2004.".
- 2004111362 description "Includes bibliographical references and index.".
- 2004111362 extent "vi, 293 p. :".
- 2004111362 identifier "3540230688 (softcover : alk. paper)".
- 2004111362 identifier 2004111362-d.html.
- 2004111362 isPartOf "Lecture notes in computer science ; 3185 Tutorial.".
- 2004111362 isPartOf "Lecture notes in computer science ; 3185.".
- 2004111362 isPartOf "Lecture notes in computer science ; Tutorial.".
- 2004111362 issued "2004".
- 2004111362 issued "c2004.".
- 2004111362 language "eng".
- 2004111362 publisher "Berlin ; New York : Springer,".
- 2004111362 subject "004/.33 22".
- 2004111362 subject "Computer software Congresses.".
- 2004111362 subject "Computer systems Congresses.".
- 2004111362 subject "Formal methods (Computer science) Congresses.".
- 2004111362 subject "QA76.54 .I575 2004".
- 2004111362 subject "Real-time data processing Congresses.".
- 2004111362 title "Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures / Marco Bernardo, Flavio Corradini (eds.).".
- 2004111362 title "SRM-RT 2004".
- 2004111362 type "text".