Normal view MARC view ISBD view

Reactive systems :

Aceto, Luca

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

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

ISBN: 9780521875462

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.33

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)