von Ricardo Peña Marí · PRENTICE HALL · tapa blanda · ISBN 9780130984500
MwSt. inbegriffen
Hamelyn Qualitätsgarantie · geprüft und verifiziert, oder Geld zurück
«Diseño de programas: formalismo y abstracción» ist das Programmierhandbuch von Ricardo Peña Marí, in Taschenbuch (Prentice Hall, 251 Seiten, auf Spanisch).
Universitäres Lehrbuch zur Programmentwicklung, das Formalismus und Abstraktion als Grundlage für rigorose Software betont. Es stellt Notationen, Konzepte und Spezifikationsmethoden vor und zeigt, wie man über das Verhalten von Programmen argumentiert.
Zweite Auflage, 1998 bei Prentice Hall veröffentlicht, in der Sammlung 'Fuera de colección Out of series'.
Gedacht für Informatikstudierende und Fachleute, die ihre Ausbildung in Softwareentwicklung vertiefen möchten.
