Fortæl dine venner om denne vare:
Teaching Formal Methods - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues Jeremy Gibbons
Pris
DKK 449
Bestilles fra fjernlager
Forventes klar til forsendelse 2. - 8. jan. 2026
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller
Teaching Formal Methods - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Jeremy Gibbons
187 pages, Illustrations
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 26. oktober 2009 |
| ISBN13 | 9783642049118 |
| Forlag | Springer-Verlag Berlin and Heidelberg Gm |
| Genre | Aspects (Academic) > Science / Technology Aspects |
| Antal sider | 188 |
| Mål | 155 × 235 × 13 mm · 294 g |
| Sprog | Fransk |
Mere med Jeremy Gibbons
Vis alle![Cover for Jeremy Gibbons · The Fun of Programming (Hardcover bog) [2003 edition] (2017)](https://imusic.b-cdn.net/images/item/original/721/9781403907721.jpg?jeremy-gibbons-2017-the-fun-of-programming-hardcover-bog&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 Bog) [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-bog&class=scaled&v=1542763675)
![Cover for Jeremy Gibbons · Generic and Indexed Programming - Lecture Notes in Computer Science (Paperback Bog) [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-bog&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 Bog) [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-bog&class=scaled&v=1556165620)
Se alt med Jeremy Gibbons ( f.eks. Paperback Bog og Hardcover bog )