Tell your friends about this item:
Teaching Formal Methods - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues Jeremy Gibbons
Price
A$ 85.49
excl. VAT
Ordered from remote warehouse
Expected delivery Jan 9 - 21, 2026
Christmas presents can be returned until 31 January
Our customers say:
Add to your iMusic wish list
Teaching Formal Methods - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Jeremy Gibbons
187 pages, Illustrations
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | October 26, 2009 |
| ISBN13 | 9783642049118 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Genre | Aspects (Academic) > Science / Technology Aspects |
| Pages | 188 |
| Dimensions | 155 × 235 × 13 mm · 294 g |
| Language | French |
More by Jeremy Gibbons
Show all![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)
See all of Jeremy Gibbons ( e.g. Paperback Book and Hardcover Book )