Temporal logics and their applications

edited by Antony Galton

この本の情報

書名 Temporal logics and their applications
著作者等 Galton, Antony
出版元 Academic Press
刊行年月 1987
ページ数 xii, 244 p.
大きさ 24 cm
ISBN 0122740602
NCID BA03479381
※クリックでCiNii Booksを表示
言語 英語
出版国 イギリス
この本を: 
このエントリーをはてなブックマークに追加

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

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想