Verification of sequential and concurrent programs
Saved in:
Main Authors: | |
---|---|
Group Author: | |
Published: |
Springer-Verlag,
|
Publisher Address: | New York |
Publication Dates: | c1997. |
Literature type: | Book |
Language: | English |
Edition: | 2nd ed. |
Series: |
Graduate texts in computer science |
Subjects: | |
Carrier Form: | xvii, 364 p.: ; 24 cm. |
ISBN: | 0387948961 (hardcover : alk. paper) |
Index Number: | TP306 |
CLC: |
TP306-43 TP31-43 |
Call Number: | TP31-43/A655/2nd ed./ |
Contents: | Includes bibliographical references (p. [343]-352) and indexes. |