Reactive systems : modelling, specification and verification Luca Aceto ... [et al.].

Contributor(s):

Material type: Text

TextPublication details: Cambridge : Cambridge University Press, 2007.Description: xvi, 284 p. : ill. ; 26 cmISBN:

Subject(s):

DDC classification:

LOC classification:

Online resources:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Notes	Barcode
Books	Central Library, IISER Bhopal General Section		006.330151 Ac37R (Browse shelf(Opens below))	Available		8793
Books	Central Library, IISER Bhopal General Section		006.330151 Ac37R (Browse shelf(Opens below))	Available		8791
Books	Central Library, IISER Bhopal General Section		006.330151 Ac37R (Browse shelf(Opens below))	Available		8792
Books	Central Library, IISER Bhopal General Section		006.330151 Ac37R (Browse shelf(Opens below))	Available		8794
Books	Central Library, IISER Bhopal Reference Section	Reference	006.330151 Ac37R (Browse shelf(Opens below))	Not For Loan	Reserve	8703

Includes bibliographical references (p. 267-279) and index.

There are no comments on this title.

to post a comment.