ID:DA03735841
Pnueli, Amir
同姓同名の著者を検索
Oded Maler, Amir Pnueli (eds.)
Springer c2003 Lecture notes in computer science 2623
所蔵館29館
Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.)
Springer c1998 Lecture notes in computer science 1536
所蔵館37館
Zohar Manna and Amir Pnueli
Springer-Verlag 1995
所蔵館30館
Zohar Manna, Amir Pnueli
Springer-Verlag c1992-
[v. 1], Specification : us , [v. 1], Specification : gw
所蔵館26館
B. Banieqbal, H. Barringer, A. Pnueli (eds.)
Springer-Verlag c1989 Lecture notes in computer science 398
: gw , : us
所蔵館56館
by Amir Pnueli
Computer Science Department, School of Humanities and Sciences, Stanford University 1968 Technical report no. CS102
所蔵館1館