Temporal logic of programs

Saved in:
Bibliographic Details
Main Author: Kroger, Fred
Format: Book
Language:English
Published: Berlin; : Heidelberg : Springer, c1987
Series:EATCS monographs on theoretical computer science. EATCS monographs on theoretical computer science ; ; 8
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000nam a2200000 i 4500
001 1/97866
008 000114s1987 eng d
020 |a 3540170308 
035 |l 10056299 
040 |a GR-MY-UA  |b gre  |e aacr 
041 0 |a eng 
082 0 |a 005.131 
100 1 |a Kroger, Fred. 
245 1 0 |a Temporal logic of programs /  |c Fred Kroger 
260 |a Berlin; :   |a Heidelberg :   |b Springer,   |c c1987 
300 |a viii, 148 p.;  |c 25 cm. 
490 1 |a EATCS monographs on theoretical computer science  |v ; 8 
504 |a Includes index and bibliography 
650 0 0 |a Computer programming. 
650 0 0 |a Logic, Symbolic and mathematical. 
830 0 |a EATCS monographs on theoretical computer science. EATCS monographs on theoretical computer science ;  |v ; 8 
852 |a INST  |b SAMOS  |e 20000114  |h 005.131 KRO  |p 005300016051  |q 005300016051  |t BK  |y 0 
901 |a BIBL3-2000-1 
909 |a Σ  |b 071530 
922 |a 3ΕΛΗ  |b 199912  |c ΤΠΕΣ  |d ΠΑΠΑΣΩΤΗΡΙΟΥ 
970 |a ΓΕΝΟΥΖΟΥ  |b ΧΡΥΣΑΝΘΗ  |z 2000/01/14