مؤلف: Andreas Zeller

Why Programs Fail is about bugs in computer programs, how to find them, how to reproduce them, and how to fix them in such a way that they do not occur anymore. This is the first comprehensive book o …

Why Programs Fail: A Guide to Systematic Debugging is proof that debugging has graduated from a black art to a systematic discipline. It demystifies one of the toughest aspects of software programmin …

ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of e …

This book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verification Conference, HVC 2009, held in Haifa, Israel in October 2009. The 11 revised full papers pres …

Die regelmässige, korrekte und mit dem Arzt abgesprochene Einnahme von Medikamenten ist die Grundvoraussetzung für deren Wirksamkeit und Sicherheit. Beim kardiovaskulären Risikopatienten ist diese Th …

Im jungen schweizerischen Bundesstaat waren es die kirchlich Liberalen, die wesentlich daran beteiligt waren, dass der Artikel zur Glaubensfreiheit in der Bundesverfassung von 1874 angenommen wurde. …