Amazon cover image

Image from Amazon.com

Normal view MARC view ISBD view

Verification of sequential and concurrent programs

By:

Material type: Text

Text

TextSeries: Texts and Monographs in Computer SciencePublication details: Berlin; Springer Verlag; 1991Description: 441ISBN:

3 540 97532 2

Subject(s):

Computer software - verification

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)

Holdings ( 1 )
Comments ( 0 )

Holdings
Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	681.3.06 APT (Browse shelf(Opens below))		Available		28782

There are no comments on this title.

to post a comment.

Place hold
Print
Send to device
Save record
BIBTEX Dublin Core RIS MARC (Unicode/UTF-8, Standard)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Share

The Institute of Mathematical Sciences, Chennai, India