IMSc Library catalog › Details for: Concurrency Verification: Introduction to Compositional and Noncompositional Methods

Normal view MARC view ISBD view

Concurrency Verification: Introduction to Compositional and Noncompositional Methods

TextSeries: Cambridge tracts in theorerical computer science; 54Publication details: Cambridge ; CUP ; 2001Description: 776pISBN: 0-521-80608-9Subject(s): Concurrency programmes

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 ROE (Browse shelf (Opens below))		Available		47869

Previous	No cover image available	No cover image available				No cover image available	No cover image available	Next
Previous	681.3 RICH Artificial inteligence	681.3 ROB Multichannel Time Series Analysis with Digital Computer Programs	681.3 ROB Reliability of computer and communication networks: proceedings of a DIMACS Workshop, December 2-4, 1989	681.3 ROE Concurrency Verification: Introduction to Compositional and Noncompositional Methods	681.3 ROG Mathematical elements for computer graphics /	681.3 ROSE Into the heart of the mind	681.3 ROTA Science and computers	Next

There are no comments on this title.

to post a comment.