Conte aos seus amigos sobre este item:
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 2002 edition
Roland Backhouse
Preço
€ 64,99
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 4 - 13 de dez
Presentes de Natal podem ser trocados até 31 de janeiro
O que dizem nossos clientes:
Adicione à sua lista de desejos do 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 2002 edition
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
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 17 de abril de 2002 |
| ISBN13 | 9783540436133 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 390 |
| Dimensões | 155 × 235 × 21 mm · 566 g |
| Idioma | German |
| Editor | Backhouse, Roland |
| Editor | Crole, Roy |
| Editor | Gibbons, Jeremy |
![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)
