Library of American University of Madaba
Your cart is empty.
Reactive systems : modelling, specification and verification /
Authors: Aceto, Luca. | Larsen, K. G.%(Kim G.),%1957- | %Ingolfsdottir, Anna %1952- | %Srba, Jiri. Published by : Cambridge University Press, (Cambridge :) Physical details: xvi, 284 p. : ill. ; 26 cm. ISBN: 0521875463 Subject(s): Expert systems (Computer science) %Validation. | Expert systems (Computer science) %Verification. | System design %Mathematical models. Year: 2007
Tags from this library:
No tags from this library for this title.
| Item type | Location | Call Number | Status | Notes | Date Due |
|---|---|---|---|---|---|
 Book |
AUM Main Library | 006.330151 R392 (Browse Shelf) | Available | JBC/2012/1369 |
Includes bibliographical references (p. 267-279) and index.
There are no comments for this item.