ロード中...

Logics of programs

書誌詳細
第一著者: rohit Parikh
フォーマット: Printed Book
言語:English
出版事項: Springer-Verlag 1985

類似資料