Catalogo · 9783540450252
Mathematics of Program Construction
ISBN 9783540450252
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
Generic programming
Roland C. Backhouse
Construction et vérification de programmes
Roland C. Backhouse
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Roland C. Backhouse, Roy Crole, Jeremy Gibbons
Verba volant · scripta manent