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 |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | 2720033 | ||
| 003 | ICU | ||
| 005 | 20031027141600.0 | ||
| 008 | 961217s1997 nyu b 001 0 eng | ||
| 010 | |a 96029771 | ||
| 020 | |a 0387948961 (hardcover : alk. paper) | ||
| 035 | |a (OCoLC)36138298 | ||
| 040 | |a DLC |c DLC |d CGU | ||
| 049 | |a CGUA | ||
| 050 | 0 | 0 | |a QA76.76.V47 |b A67 1997 |
| 082 | 0 | 0 | |a 005.1/4 |2 21 |
| 100 | 1 | |a Apt, Krzysztof R., |d 1949- |0 http://id.loc.gov/authorities/names/n77005986 |1 http://viaf.org/viaf/27150160 | |
| 245 | 1 | 0 | |a Verification of sequential and concurrent programs / |c Krzysztof R. Apt, Ernst-Rüdiger Olderog. |
| 250 | |a 2nd ed. | ||
| 260 | |a New York : |b Springer-Verlag, |c c1997. | ||
| 300 | |a xvii, 364 p. ; |c 25 cm. | ||
| 336 | |a text |b txt |2 rdacontent |0 http://id.loc.gov/vocabulary/contentTypes/txt | ||
| 337 | |a unmediated |b n |2 rdamedia |0 http://id.loc.gov/vocabulary/mediaTypes/n | ||
| 338 | |a volume |b nc |2 rdacarrier |0 http://id.loc.gov/vocabulary/carriers/nc | ||
| 490 | 1 | |a Graduate texts in computer science | |
| 504 | |a Includes bibliographical references (p. [343]-352) and indexes. | ||
| 505 | 0 | |g 1. |t Introduction -- |g 2. |t Preliminaries -- |g 3. |t Deterministic Programs -- |g 4. |t Disjoint Parallel Programs -- |g 5. |t Parallel Programs with Shared Variables -- |g 6. |t Parallel Programs with Synchronization -- |g 7. |t Nondeterministic Programs -- |g 8. |t Distributed Programs -- |g 9. |t Fairness -- |g A. |t Semantics -- |g B. |t Axioms and Proof Rules -- |g C. |t Proof Systems -- |g D. |t Proof Outlines. | |
| 650 | 0 | |a Computer software |x Verification. |0 http://id.loc.gov/authorities/subjects/sh85029537 | |
| 650 | 7 | |a Computer software |x Verification. |2 fast |0 http://id.worldcat.org/fast/fst00872604 | |
| 700 | 1 | |a Olderog, E.-R. |0 http://id.loc.gov/authorities/names/n88629264 |1 http://viaf.org/viaf/22243882 | |
| 830 | 0 | |a Graduate texts in computer science (Springer-Verlag New York Inc.) |0 http://id.loc.gov/authorities/names/n95104914 | |
| 901 | |a ToCBNA | ||
| 903 | |a HeVa | ||
| 903 | |a Hathi | ||
| 929 | |a cat | ||
| 999 | f | f | |i cd9b8c39-f5da-508d-9933-1abfcec7a403 |s 34ff0329-8d43-5f3c-a609-2d109e70a67b |
| 928 | |t Library of Congress classification |a QA76.76.V47 A67 1997 |l JCL |c JCL-Sci |i 3435420 | ||
| 927 | |t Library of Congress classification |a QA76.76.V47 A67 1997 |l JCL |c JCL-Sci |e CRERAR |b 44804828 |i 4947330 | ||
