//]]>
Normal View MARC View ISBD View

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

Log in to your account to post a comment.