Wyniki wyszukiwania:

Kompakt und leicht verstandlich fuhrt dieses Lehrbuch in die formalen Grundlagen der Programmierung ein. Von dr Syntax uber Semantik und Verifikation bis hin zur Brechenbarkeit werden alle relevanten Themen fundiert dargestellt."

"This is without question the best PhD thesis that I have read since the 1970s.
Its coverage is breathtaking." Robert Sedgewick

Quicksort is the fastest general-purpose sorting method in practice and a showcase for the paradigms of the mathematical analysis of algorithms: it can occasionally be very slow, but is almost always extremely fast, and its typical performance can be computed very accurately in
a mathematical model. It is a distinctive feature of computer science that such mathematical models describe many phenomena precisely because we know how our...