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

Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings

種類:
図書
責任表示:
B. Banieqbal, H. Barringer, A. Pnueli (eds.)
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1989
著者名:
シリーズ名:
Lecture notes in computer science ; 398 <BA00009279>
ISBN:
9783540518037 [3540518037] (: gw)  CiNii Books  Calil
9780387518039 [0387518037] (: us)  CiNii Books  Calil
注記:
Based on papers presented at the Colloquium on Temporal Logic in Specification
Includes bibliographical references
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Temporal Logic in Specification : Altrincham, UK, April 8-10, 1987, Proceedings

Banieqbal, Behnam., Barringer, Howard., Pnueli, Amir., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
7 電子ブック Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, …

Brazilian Conference on Mathematical Logic, Carnielli, Walter A., D'Ottaviano, Itala M. L.,1944-

American Mathematical Society
2 電子ブック Temporal Logic in Specification : Altrincham, UK, April 8–10, 1987 Proceedings

Banieqbal, B., Barringer, H., Pnueli, A., SpringerLink (Online service)

Springer-Verlag
8 電子ブック Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985

AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to &hellip;

American Mathematical Society
3 図書 The temporal logic of reactive and concurrent systems

Manna, Zohar, Pnueli, A. (Amir)

Springer-Verlag
9 図書 Logic and algebra of specification

Bauer, Friedrich Ludwig, 1924-, Brauer, Wilfried, 1937-, Schwichtenberg, Helmut, 1942-, NATO Advanced Study Institute on &hellip;

Springer-Verlag
4 電子ブック Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas

North Texas Logic Conference, Gao, Su,1968-, Jackson, Steve,1957-, Zhang, Yi,1964 Aug. 22-

American Mathematical Society
10 図書 Temporal logic : mathematical foundations and computational aspects

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

Clarendon Press, Oxford University Press
5 図書 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
11 図書 Finite automata, formal logic, and circuit complexity

Straubing, Howard, 1952-

Birkhäuser
6 図書 Temporal logic of programs

Kröger, Fred, 1945-

Springer-Verlag
12 図書 The limits of logic : higher-order logic and the Löwenheim-Skolem theorem

Shapiro, Stewart, 1951-

Dartmouth