Verification of sequential and concurrent programs

By:

Contributor(s):

Material type: Text

TextLanguage: English Series: text and monographs in computer sciencePublication details: N Y Springer Verlag 1991Description: xvi,441pISBN:

Subject(s):

DDC classification:

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

Holdings
Item type	Current library	Call number	Status	Date due	Barcode	Item holds
Books	ISI Library, Kolkata 4th Floor	005.14 Ap655 (Browse shelf(Opens below))	Available		113147

Total holds: 0

Previous		No cover image available					No cover image available	Next
Previous	005.136 St839 370/360 assembler language programming	005.136 W757(1) Machine/assembly language	005.14 An549 Proving programs correct	005.14 Ap655 Verification of sequential and concurrent programs	005.14 B126 Program construction and verification	005.14 B126 Refinement calculus	005.14 B168 Mathematical theory of program correctness	Next

There are no comments on this title.

to post a comment.