Բեռնվում է…
Temporal logic of programs /
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Գիրք |
| Լեզու: | English |
| Հրապարակվել է: |
Berlin ; New York :
Springer-Verlag,
1987.
|
| Շարք: | EATCS monographs on theoretical computer science
Vol. 8 |
| Խորագրեր: | |
| Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
| LEADER | 00758cam a2200253 a 4500 | ||
|---|---|---|---|
| 001 | 000623928 | ||
| 003 | AM-YeHGA | ||
| 005 | 20210831153915.0 | ||
| 008 | 861121s1987 gw b 001 0 eng | ||
| 020 | |a 0387170308 (U.S.) | ||
| 040 | |a AM-YeHGA |c AM-YeHGA | ||
| 041 | 0 | |a eng | |
| 082 | 0 | 0 | |a 005.13/1 |2 19 |
| 100 | 1 | |a Kroger, Fred, |d 1945- | |
| 245 | 1 | 0 | |a Temporal logic of programs / |c Fred Kroger. |
| 260 | |a Berlin ; |a New York : |b Springer-Verlag, |c 1987. | ||
| 300 | |a viii, 148 p. ; |c 25 cm. | ||
| 440 | 0 | |a EATCS monographs on theoretical computer science |v Vol. 8 | |
| 500 | |a Includes index. | ||
| 504 | |a Bibliogr.: p. 143-146. | ||
| 650 | 0 | |a Computer programming. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 999 | |c 216137 | ||
| 952 | |o Gulb/7160 |p FL0090663 | ||