この商品を友人に教える:
Teaching Formal Methods - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues Jeremy Gibbons
価格
₪ 182
税抜
遠隔倉庫からの取り寄せ
発送予定日 年12月18日 - 年12月30日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加
Teaching Formal Methods - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Jeremy Gibbons
187 pages, Illustrations
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 2009年10月26日 |
| ISBN13 | 9783642049118 |
| 出版社 | Springer-Verlag Berlin and Heidelberg Gm |
| ジャンル | Aspects (Academic) > Science / Technology Aspects |
| ページ数 | 188 |
| 寸法 | 155 × 235 × 13 mm · 294 g |
| 言語 | フランス語 |
![Cover for Jeremy Gibbons · The Fun of Programming (Hardcover Book) [2003 edition] (2017)](https://imusic.b-cdn.net/images/item/original/721/9781403907721.jpg?jeremy-gibbons-2017-the-fun-of-programming-hardcover-book&class=scaled&v=1552784137)
![Cover for Jeremy Gibbons · Generic Programming: IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany - IFIP Advances in Information and Communication Technology (Paperback Book) [Softcover reprint of the original 1st ed. 2003 edition] (2013)](https://imusic.b-cdn.net/images/item/original/202/9781475753202.jpg?jeremy-gibbons-2013-generic-programming-ifip-tc2-wg2-1-working-conference-programming-july-11-12-2002-dagstuhl-germany-ifip-advances-in-information-and-communication-technology-paperback-book&class=scaled&v=1542763675)
![Cover for Jeremy Gibbons · Generic and Indexed Programming - Lecture Notes in Computer Science (Paperback Book) [2012 edition] (2012)](https://imusic.b-cdn.net/images/item/original/013/9783642322013.jpg?jeremy-gibbons-2012-generic-and-indexed-programming-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1556165681)
![Cover for Jeremy Gibbons · Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2012 edition] (2012)](https://imusic.b-cdn.net/images/item/original/123/9783642311123.jpg?jeremy-gibbons-2012-mathematics-of-program-construction-11th-international-conference-mpc-2012-madrid-spain-june-25-27-2012-proceedings-theoretical-computer-science-and-general-issues-paperback-book&class=scaled&v=1556165620)
