9 Ebooks tarafından Ernst-Rudiger Olderog
Mike Hinchey & Jonathan P. Bowen: Provably Correct Systems
As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost …
PDF
İngilizce
€96.29
Krzysztof R. Apt & Ernst-Rudiger Olderog: Verification of Sequential and Concurrent Programs
Computer programs are becoming more and more part of systems that we use to rely on in our daily lives. The proper functioning and safety of these systems is of paramount importance. A major challeng …
PDF
İngilizce
DRM
€91.78
Krzysztof R. Apt & Ernst-Rudiger Olderog: Verification of Sequential and Concurrent Programs
This book provides a structured introduction to the verification of sequen- tial and concurrent programs. It thus belongs to the area of programming languages but at the same time it is firmly based …
PDF
İngilizce
DRM
€92.56
Krzysztof R. Apt & Frank S. de Boer: Verification of Sequential and Concurrent Programs
HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The approach is not language-bounded in the sense that …
PDF
İngilizce
DRM
€89.86
Werner Damm & Ernst-Rudiger Olderog: Formal Techniques in Real-Time and Fault-Tolerant Systems
This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techniques in Real-Time and Fault-Tolerant Systems, held at the University of Oldenburg, Germany, 9-12 Septe …
PDF
İngilizce
DRM
€57.17
Ernst-Rudiger Olderog & Bernhard Steffen: Correct System Design
Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical applications, as well as in others, it is o …
PDF
İngilizce
DRM
€57.64
Ernst-Rudiger Olderog & Bernhard Steffen: Model Checking, Synthesis, and Learning
This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers written by many of his friends and collaborators.Bengt has made major contributions covering a wide …
EPUB
İngilizce
DRM
€70.62