>> Amazon.co.jp
このページのQRコード

Temporal logic of programs

種類:
図書
責任表示:
Fred Kröger
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1987
著者名:
Kröger, Fred, 1945- <DA00964026>  
シリーズ名:
EATCS monographs on theoretical computer science ; v. 8 <BA00007320>
ISBN:
9780387170305 [0387170308]  CiNii Books  Calil
9783540170303 [3540170308]  CiNii Books  Calil
注記:
Bibliography: p. [143]-146
Includes index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Temporal logic : mathematical foundations and computational aspects

Gabbay, Dov M., 1945-, Hodkinson, Ian, Reynolds, Mark (Mark A.), Finger, Marcelo

Clarendon Press, Oxford University Press
7 図書 Meta-logics and logic programming

Apt, Krzysztof R., 1949-, Turini, Franco, 1949-

MIT Press
2 図書 Temporal logic : First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings

International Conference on Temporal Logic, Gabbay, Dov M., 1945-, Ohlbach, Hans Jürgen

Springer-Verlag
8 図書 Intensional logics for programming

Fariñas del Cerro, Luis, Penttonen, Martti, 1948-

Clarendon Press, Oxford University Press
3 図書 The temporal logic of reactive and concurrent systems

Manna, Zohar, Pnueli, A. (Amir)

Springer-Verlag
9 図書 Equational logic as a programming language

O'Donnell, Michael J.

MIT Press
4 図書 First-order dynamic logic

Harel, David, 1950-

Springer-Verlag
10 図書 Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings

Banieqbal, Behnam, Barringer, Howard, 1951-, Pnueli, A. (Amir), Colloquium on Temporal Logic in Specification

Springer-Verlag
5 図書 Handbook of logic in artificial intelligence and logic programming

Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan)

Clarendon Press, Oxford University Press
11 図書 Computer arithmetic : logic and design

Spaniol, Otto, 1945-

Wiley
6 図書 Temporal logic and state systems

Kröger, Fred, Merz, Stephan

Springer
12 図書 Solving higher-order equations : from logic to programming

Prehofer, Christian, 1967-

Birkhäuser