Cover Image

Reactive systems : modelling, specification and verification /

Bibliographic Details
Other Authors: Aceto, Luca
Format: Book
Language:English
Published: Cambridge : Cambridge University Press, 2007.
Subjects:
Expert systems (Computer science) > Validation.
Expert systems (Computer science) > Verification.
System design > Mathematical models.
Description
Physical Description:xvi, 284 pages : illustrations ; 26 cm.
Bibliography:Includes bibliographical references and index.
ISBN:9780521875462 (hbk.)
0521875463 (hbk.)