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