Deductive program design
著者
書誌事項
Deductive program design
（NATO ASI series, Series F . Computer and systems sciences ; no. 152）
Springer, c1996
大学図書館所蔵 全18件
注記
"Published in cooperation with NATO Scientific Affairs Division."
"Proceedings of the NATO Advanced Study Institute on Deductive Program Design, held in Marktoberdorf, Germany, July 26-August 7, 1994"--T.p. verso
Includes bibliographical references