Logic Program Synthesis and Transformation: 6th International Workshop, Lopstr '96, Stockholm, Sweden, August 28-30, 1996, Proceedings - Lecture Notes in Computer Science - John Gallagher - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540627180 - 1997年3月12日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Logic Program Synthesis and Transformation: 6th International Workshop, Lopstr '96, Stockholm, Sweden, August 28-30, 1996, Proceedings - Lecture Notes in Computer Science

価格
¥ 8.609
税抜

遠隔倉庫からの取り寄せ

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

Constituting the proceedings of a workshop on logic program synthesis and transformation held on board a ship sailing from Stockholm to Helsinki in August 1996, the 17 papers cover topics such as synthesis of programs from specifications, transformation, specialization and analysis of programs.


331 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1997年3月12日
ISBN13 9783540627180
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 331
寸法 156 × 234 × 18 mm   ·   476 g
言語 ドイツ語  
編集者 Gallagher, John P.

すべて表示

John Gallagherの他の作品を見る