| NCID | DA03735841 |
| 名称(HDNG) | Pnueli, A. (Amir) |
| から見よ(SF) | Pnueli, Amir |
| 注記(NOTE) | 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) |
| LCAID | 85817647 |