Matches in Library of Congress for { <http://lccn.loc.gov/2007282029> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 2007282029 contributor B10828794.
- 2007282029 created "2007.".
- 2007282029 date "2007".
- 2007282029 date "2007.".
- 2007282029 dateCopyrighted "2007.".
- 2007282029 description "Includes bibliographical references (p. 267-279) and index.".
- 2007282029 extent "xvi, 284 p. :".
- 2007282029 identifier "0521875463 (hbk.)".
- 2007282029 identifier "9780521875462 (hbk.)".
- 2007282029 identifier 2007282029-b.html.
- 2007282029 identifier 2007282029-d.html.
- 2007282029 identifier 2007282029-t.html.
- 2007282029 issued "2007".
- 2007282029 issued "2007.".
- 2007282029 language "eng".
- 2007282029 publisher "Cambridge ; New York : Cambridge University Press,".
- 2007282029 subject "006.330151 22".
- 2007282029 subject "Expert systems (Computer science) Validation.".
- 2007282029 subject "Expert systems (Computer science) Verification.".
- 2007282029 subject "QA76.76.E95 R39 2007".
- 2007282029 subject "System design Mathematical models.".
- 2007282029 title "Reactive systems : modelling, specification and verification / Luca Aceto ... [et al.].".
- 2007282029 type "text".