:: IBS :: Interesting Books Selector :: Home | Contact | Imprint :: Find only [ english | german | french ] :: All languages :: All authors :: All titles :: All categories :: Categories [ Current controversies | Economy | Fiction | Hardware | History | Internet | Liberty | Mathematical recreation | Mathematics | Philosophy | Psychology | Political philosophy | Politics | Science | Software design ]
Type first few letters of name: author title


A Discipline of Programming

Edsger W. Dijkstra

Buy this book at Amazon.com or try Amazon.co.uk in England, Amazon.ca in Canada, Amazon.de in Germany, Amazon.fr in France, Amazon.it in Italy, Amazon.es in Spain. ASIN=013215871X, Category: Software Design, Language: E, cover: PB, pages: 217, year: 1976. Zu Facebook hinzufügen Zu Twitter hinzufügen Zu Delicious hinzufügen Zu Google +1 hinzufügen Zu Google hinzufügen Zu Mister Wong hinzufügen

Niklaus Wirth found out that it is better not to include concurrency into a language and became almost as minimalist as his friend Dijkstra who tought programming using a language that didn't even need a compiler! - by using assertions, the proof of program's correctness is part of its development.

As a reviewer of this book, Ganapathy Subramaniam, aptly stated on the corresponding book page at amazon.com, quote:

    It looks at programs from as formal a view point as possible and builds a framework for constructing 'correct' programs..or more correctly a framework for 'proving the correctness' of a program. It takes you to the point of considering programs as poetry..

Want to buy a different edition or a book not found in our catalogue? If you know the 10-digit ISBN or ASIN, enter it here (without any spaces and dashes) and click Submit to generate a generic link to Amazon:
To search a book author or title keyword in our catalogue, please use keyword search. Copyright (2004-2016) by interesting-books-selector.com (IBS); last script update: 07-Jun-2016; webdesign by otolo.com

Privacy: We do not use cookies for collecting personal information from this site.Disclaimer (and Imprint) [Summary: External links are being provided as a convenience and for informational purposes only; they do not constitute an endorsement or an approval by IBS of any of the products, services or opinions of the corporation or organization or individual. IBS bears no responsibility for the accuracy, legality or content of the external site nor for any subsequent links.]
Advertisements :: Music for the Inquiring Mind and the Passionate Heart: LEO RECORDS :: (Multilingual) Find a free host and make friends while travelling internationally: beWelcome.org (BW) :: (German only) Finden Sie einen Reisepartner - einfach, gratis und ohne Registrierung: reisepartner-gesucht.de :: (Multilingual) Get your encrypted mailbox for free: Tutanota.com