Library of American University of Madaba

Normal View MARC View ISBD View

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

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

Dewey Class. No.: 006.330151 / R392