Matches in Library of Congress for { <http://lccn.loc.gov/2009275615> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 2009275615 contributor B11459291.
- 2009275615 contributor B11459292.
- 2009275615 created "2008.".
- 2009275615 date "2008".
- 2009275615 date "2008.".
- 2009275615 dateCopyrighted "2008.".
- 2009275615 description "Includes bibliographical references (p. 304-311) and index.".
- 2009275615 extent "xvi, 320 p. :".
- 2009275615 identifier "0521883334 (hbk.)".
- 2009275615 identifier "9780521883337 (hbk.)".
- 2009275615 issued "2008".
- 2009275615 issued "2008.".
- 2009275615 language "eng".
- 2009275615 publisher "Cambridge, UK ; New York : Cambridge University Press,".
- 2009275615 subject "004.33 22".
- 2009275615 subject "QA76.54 .O43 2008".
- 2009275615 subject "Real-time data processing.".
- 2009275615 title "Real-time systems : formal specification and automatic verification / Ernst-Rüdiger Olderog and Henning Dierks.".
- 2009275615 type "text".