Vertel uw vrienden over dit artikel:
Teaching Formal Methods - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues Jeremy Gibbons
Prijs
€ 52,49
Besteld in een afgelegen magazijn
Verwachte levering 6 - 14 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
of
Teaching Formal Methods - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Jeremy Gibbons
187 pages, Illustrations
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 26 oktober 2009 |
| ISBN13 | 9783642049118 |
| Uitgevers | Springer-Verlag Berlin and Heidelberg Gm |
| Genre | Aspects (Academic) > Science / Technology Aspects |
| Pagina's | 188 |
| Afmetingen | 155 × 235 × 13 mm · 294 g |
| Taal en grammatica | Frans |
Meer door Jeremy Gibbons
Alles tonen![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)
Bekijk alles van Jeremy Gibbons ( bijv. Paperback Book en Hardcover Book )