Formal methods in system design : an international journal  Vol. 1, no. 1 (July 1992)-

この本の情報

書名 Formal methods in system design : an international journal
書名別名 Formal methods in system design

Form. methods syst. des
巻冊次 Vol. 1, no. 1 (July 1992)-
出版元 Kluwer Academic
刊行年月 c1992-
ページ数 v.
大きさ 24 cm
ISSN 09259856
NCID AA11025734
※クリックでCiNii Booksを表示
言語 英語
出版国 アメリカ合衆国
この本を: 
このエントリーをはてなブックマークに追加

Yahoo!ブックマークに登録
この記事をクリップ!
Clip to Evernote
このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想