Lectures on the logic of computer programming /
Saved in:
Author / Creator: | Manna, Zohar |
---|---|
Imprint: | Philadelphia, Pa. : Society for Industrial and Applied Mathematics, 1980. |
Description: | iv, 49 p. ; 25 cm. |
Language: | English |
Series: | CBMS-NSF regional conference series in applied mathematics 31 CBMS-NSF regional conference series in applied mathematics 31 |
Subject: | |
Format: | Print Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/371876 |
ISBN: | 0898711649 : $7.50 ($6.00 to members) |
---|---|
Notes: | Bibliography: p. 49 |

Similar Items
-
Lectures on the logic of computer programming /
by: Manna, Zohar
Published: (1980) -
The logical basis for computer programming /
by: Manna, Zohar
Published: (1985) -
The temporal logic of reactive and concurrent systems /
by: Manna, Zohar
Published: (1992) -
Temporal logic of programs /
by: Kröger, Fred, 1945-
Published: (1987) -
Executing temporal logic programs /
by: Moszkowski, B. C.
Published: (1986)