ロード中...

Logics of programs

書誌詳細
第一著者: rohit Parikh
フォーマット: Printed Book
言語:English
出版事項: Springer-Verlag 1985
その他の書誌記述
物理的記述:424
ISBN:3-540-15648-8