この商品を友人に教える:
Recent Trends in Algebraic Development Techniques: 13th International Workshop, Wadt '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers - Lecture Notes in Computer Science Jose Luiz Fiadeiro
価格
¥ 8.769
税抜
遠隔倉庫からの取り寄せ
発送予定日 2026年1月12日 - 2026年1月22日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加
Recent Trends in Algebraic Development Techniques: 13th International Workshop, Wadt '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers - Lecture Notes in Computer Science
Jose Luiz Fiadeiro
This volume constitutes the refereed proceedings of the 13th International Workshop on Algebraic Development Techniques held in April 1998. The papers address such issues as algebraic specification techniques, algebraic combination of logics, and algebraic structures and logics for concurrency.
346 pages, biography
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 1999年7月28日 |
| ISBN13 | 9783540662464 |
| 出版社 | Springer-Verlag Berlin and Heidelberg Gm |
| ページ数 | 346 |
| 寸法 | 155 × 233 × 18 mm · 503 g |
| 言語 | ドイツ語 |
| 編集者 | Fiadeiro, Jose Luiz |
![Cover for Jose Luiz Fiadeiro · Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/010/9783319076010.jpg?jose-luiz-fiadeiro-2014-formal-aspects-of-component-software-10th-international-symposium-facs-2013-nanchang-china-october-27-29-2013-revised-selected-papers-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1582882984)
![Cover for Jose Luiz Fiadeiro · Categories for Software Engineering (Paperback Book) [Softcover Reprint of Hardcover 1st Ed. 2005 edition] (2010)](https://imusic.b-cdn.net/images/item/original/882/9783642058882.jpg?jose-luiz-fiadeiro-2010-categories-for-software-engineering-paperback-book&class=scaled&v=1408461068)
![Cover for Jose Luiz Fiadeiro · Recent Trends in Algebraic Development Techniques: 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/977/9783540719977.jpg?jose-luiz-fiadeiro-2007-recent-trends-in-algebraic-development-techniques-18th-international-workshop-wadt-2006-la-roche-en-ardenne-belgium-june-1-3-2006-revised-selected-papers-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1550668064)
![Cover for Jose Luiz Fiadeiro · Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/202/9783540286202.jpg?jose-luiz-fiadeiro-2005-algebra-and-coalgebra-in-computer-science-first-international-conference-calco-2005-swansea-uk-september-3-6-2005-proceedings-theoretical-computer-science-and-general-issues-paperback-book&class=scaled&v=1550697529)
![Cover for Jose Luiz Fiadeiro · Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers - Theoretical Computer Science and General Issues (Paperback Book) [2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/273/9783540253273.jpg?jose-luiz-fiadeiro-2005-recent-trends-in-algebraic-development-techniques-17th-international-workshop-wadt-2004-barcelona-spain-march-27-29-2004-revised-selected-papers-theoretical-computer-science-and-general-issues-paperback-book&class=scaled&v=1553996393)
