The Generic Development Language Deva: Presentation and Case Studies - Lecture Notes in Computer Science - Matthias Weber - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540573357 - 1993年10月28日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

The Generic Development Language Deva: Presentation and Case Studies - Lecture Notes in Computer Science 1993 edition

価格
R$ 311,90
税抜

遠隔倉庫からの取り寄せ

発送予定日 年12月15日 - 年12月25日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加

This is a comprehensive description of the generic development language Deva, developed by authors at the Berlin University of Technology. The practical applications of Deva, a typed functional language with certain deduction rules, are then tested in several case studies.


251 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1993年10月28日
ISBN13 9783540573357
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 251
寸法 216 × 279 × 14 mm   ·   381 g
言語 英語  

すべて表示

Matthias Weberの他の作品を見る