検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings / B. Banieqbal, H. Barringer, A. Pnueli (eds.) T2 Lecture notes in computer science A1 Banieqbal, Behnam A1 Barringer, Howard, 1951- A1 Pnueli, A. (Amir) A1 Colloquium on Temporal Logic in Specification YR 1989 FD c1989 VO : us SP vi, 448 p. K1 System design K1 Logic, Symbolic and mathematical PB Springer-Verlag PP Berlin ; Tokyo SN 0387518037 LA English (英語) CL LCC:QA76.9.S88 CL DC20:005.13/1 NO Based on papers presented at the Colloquium on Temporal Logic in Specification NO Includes bibliographical references NO 書誌ID=1000354167; NCID=BA07517438; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000354167 OL 30