Normal view MARC view ISBD view

Reactive systems :

Reactive systems : modelling, specification and verification Luca Aceto ... [et al.]. - Cambridge : Cambridge University Press, 2007. - xvi, 284 p. : ill. ; 26 cm.

Includes bibliographical references (p. 267-279) and index.

ISBN: 9780521875462 (hbk.) 0521875463 (hbk.) = EECS-textbook collection

LCCN: 2007282029

Nat. Bib. No.: GBA728518 bnb

Nat. Bib. Agency Control No.: 013715613 Uk

Subjects--Topical Terms:
Expert systems (Computer science)--Validation.
Expert systems (Computer science)--Verification.
System design--Mathematical models.

LC Class. No.: QA76.76.E95 / R39 2007

Dewey Class. No.: 006.330151 Ac37R

Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)