仕様記述言語「Z」(ゼッド) : 「仕様」の数学的構造化に「自然言語」を使う! ＜I/O books＞

書籍データ

著者名：赤間世紀 著他の作品を見る

出版社：工学社

発売日：2010.11

175p 21cm

ISBN：978-4-7775-1564-6