Catalogo · 9783540477976
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
ISBN 9783540477976
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Algorithmic problem solving
Roland C. Backhouse
Program Construction
Roland C. Backhouse
Datatype-generic Programming
Roland C. Backhouse, Jeremy Gibbons, Ralf Hinze
Program construction and verification
Roland C. Backhouse
Syntax of programming languages
Roland C. Backhouse
Mathematics of Program Construction
Roland C. Backhouse, Jose Nuno Oliveira
Generic programming
Roland C. Backhouse
Construction et vérification de programmes
Roland C. Backhouse
Verba volant · scripta manent