IMSc Library catalog › Details for: Reactive systems

Normal view MARC view ISBD view

Reactive systems modeling specification and verification

By: Aceto, Luca, etalMaterial type: Text

TextPublication details: Cambridge ; Cambridge University Press ; 2007Description: 284ISBN: 9780521875462

Item type:

BOOKS

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

Average rating: 0.0 (0 votes)

Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	681.3 ACE (Browse shelf (Opens below))		Available		62012

Previous							No cover image available	Next
Previous	681.3 ABD Logic of Partial Information	681.3 ABI Data on the Web : From Relations to Semistructured Data and XML	681.3 ABR Models for Concurrency	681.3 ACE Reactive systems	681.3 ACM Proceedings of the seventh annual Acm-Siam symposium on discrete algorithms	681.3 ACM Discrete Algorithms, Ninth Annual ACM-SIAM Sympoisum on-	681.3 ACM Proceedings of the Twenty-Ninth annual ACM symposiumon theory of computing	Next

There are no comments on this title.

to post a comment.