Verification of sequential and concurrent programs /
Saved in:
| Author / Creator: | Apt, Krzysztof R., 1949- |
|---|---|
| Edition: | 2nd ed. |
| Imprint: | New York : Springer-Verlag, c1997. |
| Description: | xvii, 364 p. ; 25 cm. |
| Language: | English |
| Series: | Graduate texts in computer science Graduate texts in computer science (Springer-Verlag New York Inc.) |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/2720033 |
