J.J. Van Amstel
Het boek handelt over het ontwerpen van algoritmen met behulp van uitspraken over constructies. Van een op deze wijze ontworpen algoritme is direct ook de correctheid aangetoond.
Programmeren is het ontwerpen van algoritmen (en de daarbij benodigde datastructuren). Wil men een algoritme laten verwerken door een computer dan moet het genoteerd worden in een programmeertaal. In het boek is gekozen voor Pascal om de algoritmen in te noteren. De nadruk ligt echter niet op Pascal, maar op een systematische aanpak van het ontwerpen van de algoritmen. Het boek bevat dan ook geen volledige behandeling van Pascal. Er is gekozen voor die contructies uit Pascal die voldoende zijn om de systematische aanpak van het programmeren te demonstreren. Met deze Pascal-constructies kan een grote klasse van algoritmen op elegante wijze worden ontworpen.

164 pag.
ISBN 90 6233 138 6
3e druk 1987
Academic Service