:: 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

Find this book at books.google.com | eurobuch.com | buchhandel.de ASIN=013215871X, Category: Software Design, Language: E, cover: PB, pages: 217, year: 1976.

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. ZZ