
par Ricardo Peña Marí · PEARSON UNIVERSIDAD · tapa blanda · ISBN 9788483220030

TVA incluse
Garantie qualité Hamelyn · vérifié et contrôlé, ou remboursé
«Diseño de Programas: Formalismo y Abstracción» est le manuel de programmation de Ricardo Peña Marí, publié par Prentice Hall en couverture souple (326 pages).
Manuel de programmation centré sur la conception formelle de programmes : il explique les principes qui guident la construction de logiciels et le raisonnement sur leur correction et leur efficacité. Conçu pour un deuxième ou troisième cours de programmation, il combine formalisme et abstraction pour aborder le développement de programmes informatiques.
Deuxième édition, publiée en 1997.
Pour les étudiants en informatique et les professionnels qui souhaitent asseoir les fondements de la conception formelle de programmes.

Tapa blanda

Tapa blanda
