Recomienda este artículo a tus amigos:
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures - Lecture Notes in Computer Science Roland Backhouse 2002 edition
Precio
Mex$ 958
sin IVA
Pedido desde almacén remoto
Entrega prevista 3 - 13 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Roland Backhouse
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures - Lecture Notes in Computer Science
Roland Backhouse
This textbook-like tutorial presents eight chapters on ordered sets and complete lattices, algebras and coalgebras, Galois connections and fixed point calculus, calculating functional programs, algebra of program termination, exercises in coalgebraic specification, temporal algebra and more.
404 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 17 de abril de 2002 |
| ISBN13 | 9783540436133 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 390 |
| Dimensiones | 155 × 235 × 21 mm · 566 g |
| Lengua | Alemán |
| Editor | Backhouse, Roland |
| Editor | Crole, Roy |
| Editor | Gibbons, Jeremy |
Mas por Roland Backhouse
Mostrar todo![Cover for Roland Backhouse · Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures - Lecture Notes in Computer Science (Paperback Book) [2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/855/9783540767855.jpg?roland-backhouse-2007-datatype-generic-programming-international-spring-school-ssdgp-2006-nottingham-uk-april-24-27-2006-revised-lectures-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1614706557)
Más del mismo editor
![Cover for Dieter Frey · Mitarbeiterfuhrung in der Wissenschaft: 100 Fragen - 100 Antworten fur die Praxis (Paperback Book) [1. Aufl. 2025 edition] (2028)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Ines Hartel · Einfuhrung in das Klimaschutzrecht: Klimaschutz durch wohlgeordnetes Recht? (Paperback Book) [1. Aufl. 2025 edition] (2027)](https://imusic.b-cdn.net/images/item/original/461/9783540887461.jpg?ines-hartel-2027-einfuhrung-in-das-klimaschutzrecht-klimaschutz-durch-wohlgeordnetes-recht-paperback-book&class=scaled&v=1569154171)
![Cover for Handbuch Unternehmensorganisation: Strategien, Planung, Umsetzung (Book) [4. Auflage 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/290/9783642420290.jpg?2026-handbuch-unternehmensorganisation-strategien-planung-umsetzung-book&class=scaled&v=1779860172)
![Cover for Jean Paul · Jean Pauls Samtliche Werke. Historisch-kritische Ausgabe: Zweite Abteilung. Band 10.3: Satiren und Ironien. Kommentar (Hardcover Book) [1. Aufl. 2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/229/9783740012229.jpg?jean-paul-2026-jean-pauls-samtliche-werke-historisch-kritische-ausgabe-zweite-abteilung-band-10-3-satiren-und-ironien-kommentar-hardcover-book&class=scaled&v=1606304271)
![Cover for Georg Glaeser · A Mathematical Picture Book (Hardcover Book) [1st ed. 2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/473/9783642146473.jpg?georg-glaeser-2026-a-mathematical-picture-book-hardcover-book&class=scaled&v=1592396260)
![Cover for Kyrill-Alexander Schwarz · Praxishandbuch Landesstaatsorganisationsrecht (Hardcover Book) [1. Aufl. 2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/355/9783642253355.jpg?kyrill-alexander-schwarz-2026-praxishandbuch-landesstaatsorganisationsrecht-hardcover-book&class=scaled&v=1408485129)
![Cover for Karlheinz Schuffler · Musical Scales and their Mathematics - Mathematics Study Resources (Paperback Book) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/401/9783662695401.jpg?karlheinz-schuffler-2026-musical-scales-and-their-mathematics-mathematics-study-resources-paperback-book&class=scaled&v=1735177753)
![Cover for Albrecht Beutelspacher · Modern Cryptography: From RSA to Zero-Knowledge and Beyond - Mathematics Study Resources (Paperback Book) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/420/9783662674420.jpg?albrecht-beutelspacher-2026-modern-cryptography-from-rsa-to-zero-knowledge-and-beyond-mathematics-study-resources-paperback-book&class=scaled&v=1688517177)
![Cover for Imaging of Bone Tumors and Tumor-Like Lesions: Techniques and Applications - Medical Radiology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/141/9783662733141.jpg?2026-imaging-of-bone-tumors-and-tumor-like-lesions-techniques-and-applications-medical-radiology-hardcover-book&class=scaled&v=1775079856)
![Cover for Franz Kronthaler · Data Analysis with RStudio: An Easygoing Introduction (Paperback Book) [Second rev. and enl. Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/434/9783662732434.jpg?franz-kronthaler-2026-data-analysis-with-rstudio-an-easygoing-introduction-paperback-book&class=scaled&v=1778114467)
![Cover for Dieter Schramm · Vehicle Dynamics: Modeling and Simulation (Hardcover Book) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/166/9783662723166.jpg?dieter-schramm-2026-vehicle-dynamics-modeling-and-simulation-hardcover-book&class=scaled&v=1774297528)
Ver todo de Roland Backhouse ( Ej. Paperback Book )