Verification of sequential & concurrent programs K.R. Apt & E-R. Olderog

TextSeries: Graduate texts in computer sciencePublication details: New York Springer 1997 Edition: 2Description: xvii 364ISBN: 0387948961Subject(s): Computer ScienceDDC classification: 18

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	Materials specified	Status	Date due	Barcode
Books	TIFR CAM Library	CML	18 APT (Browse shelf(Opens below))		Available		M8475

There are no comments on this title.

to post a comment.