Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers - Lecture Notes in Computer Science - Narciso Marti-oliet - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783642376344 - 2013年4月13日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Narciso Marti-oliet
Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers - Lecture Notes in Computer Science 2013 edition

価格
元 394
税抜

遠隔倉庫からの取り寄せ

発送予定日 年12月22日 - 2026年1月1日
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on Algebraic Development Techniques, WADT 2012, held in June 2012, in Salamanca, Spain. other approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing;

283 pages, 71 black & white illustrations, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2013年4月13日
ISBN13 9783642376344
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 283
寸法 155 × 235 × 15 mm   ·   417 g
言語 ドイツ語  
編集者 Marti-Oliet, Narciso
編集者 Palomino, Miguel
すべて表示

Narciso Marti-olietの他の作品を見る

Narciso Marti-olietのすべてを見る ( 例： Paperback Book )