Normal view MARC view ISBD view

Concurrency Verification: Introduction to compositional and noncompositional methods

Material type: materialTypeLabel

BookSeries: Cambridge Tracts in Theoretical Computer Science no. 54.Publisher: Cambridge Cambridge University Press 2001Description: xxii, 776p.ISBN: 978-0-521-80608-4.

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

average rating: 0.0 (0 votes)

Item type	Current location	Call number	Status	Date due	Barcode
		004.35 de R (Browse shelf)	Available		506309

Previous								Next
Previous	004.33 SIM An embedded software primer	004.35 BAL Programming Models for Parallel Computing	004.35 BER Parallel and distributed computation: Numerical methods	004.35 de R Concurrency Verification: Introduction to compositional and noncompositional methods	004.35 FOU Parallel computing: Principles and practice	004.35 FOU Parallel computing: Principles and practice	004.35 GRA Introduction to parallel computing. 2nd. Edition.	Next

There are no comments for this item.

IIITB Library