FEEDBACK Smiley face
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.

9780521875462

2007282029

GBA728518 bnb

013715613 Uk


Expert systems (Computer science)--Validation.
Expert systems (Computer science)--Verification.
System design--Mathematical models.

QA76.76.E95 / R39 2007

006.33

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in