著者典拠情報

著者標目形：
Pnueli, A. (Amir)
属性：
Personal
から見よ参照形：
Pnueli, Amir
注記：
nuc85-59818: Prywes, N.S. Compilation of nonprocedural specifications ... 1981 (hdg. on IaU rept.: Pnueli, A.; usage: A. Pnueli)
Temporal logic in specification, c1989: CIP t.p. (A. Pnueli) t.p. verso (Amir Pnueli; Dept. of Computer Sci., Weizmann Inst. of Sci., Rehovot, Israel)
著者典拠ID：
DA03735841


1.

図書
図書
1. Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : revised lectures
Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.)
出版情報: Berlin ; New York : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1536
所蔵情報: 図書館
2.

図書
図書
2. The temporal logic of reactive and concurrent systems ([v. 1], Specification : us ; [v. 1], Specification : gw)
Zohar Manna, Amir Pnueli
出版情報: New York ; Tokyo : Springer-Verlag, c1992-
所蔵情報: 図書館
3.

図書
図書
3. Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings (: gw ; : us)
B. Banieqbal, H. Barringer, A. Pnueli (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 398
所蔵情報: 図書館