Ernst-Rüdiger Olderog – författare
Visar alla böcker från författaren Ernst-Rüdiger Olderog. Handla med fri frakt och snabb leverans.
17 produkter
Verification of Sequential and Concurrent Programs
Av Krzysztof R. Apt, Frank S. de Boer m. fl.
Häftad, 2012
902 kr
Lägg i varukorg
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 it covers a large variety of programming models and features that appear in most modern programming …
Verification of Sequential and Concurrent Programs
Av Ernst-Rudiger Olderog, Krzysztof R. Apt
E-bok, 2013
1174 kr
Lägg i varukorg
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 challenger for computer science is to develop methods that ensure program correctness. This textbook …
Verification of Sequential and Concurrent Programs
Av Krzysztof R. Apt, Ernst-Rüdiger Olderog
2012
686 kr
Lägg i varukorg
Verification of Sequential and Concurrent Programs
Av Ernst-Rudiger Olderog, Krzysztof R. Apt
E-bok, 2013
1183 kr
Lägg i varukorg
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 on mathematical logic. In logic one usually studies fixed syntactic or semantic objects. This is not …
Verification of Sequential and Concurrent Programs
Av Krzysztof R. Apt, Frank S. de Boer m. fl.
Inbunden, 2009
1128 kr
Lägg i varukorg
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 it covers a large variety of programming models and features that appear in most modern programming …
Verification of Sequential and Concurrent Programs
Av Ernst-Rudiger Olderog, Frank S. de Boer m. fl.
E-bok, 2009
1175 kr
Lägg i varukorg
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 it covers a large variety of programming models and features that appear in most modern programming …
Model Checking, Synthesis, and Learning
Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
Av Ernst-Rüdiger Olderog, Bernhard Steffen m. fl.
Häftad, 2021
736 kr
Lägg i varukorg
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 range of topics including verification and learning. His works on verification, in finite state …
Model Checking, Synthesis, and Learning
Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
Av Wang Yi, Bernhard Steffen m. fl.
E-bok, 2021
903 kr
Lägg i varukorg
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 range of topics including verification and learning. His works on verification, in finite state …
Provably Correct Systems
Av Mike Hinchey, Jonathan P. Bowen m. fl.
Inbunden, 2017
1128 kr
Lägg i varukorg
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 importance. This book consists of twelve chapters and one historical account that were presented at …
Provably Correct Systems
Av Ernst-Rudiger Olderog, Jonathan P. Bowen m. fl.
E-bok, 2017
1502 kr
Lägg i varukorg
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 importance. This book consists of twelve chapters and one historical account that were presented at …
Provably Correct Systems
Av Mike Hinchey, Jonathan P. Bowen m. fl.
Häftad, 2018
1128 kr
Lägg i varukorg
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 importance. This book consists of twelve chapters and one historical account that were presented at …
Formal Techniques in Real-Time and Fault-Tolerant Systems
7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings
Av Werner Damm, Ernst-Rüdiger Olderog
Häftad, 2002
551 kr
Lägg i varukorg
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 September 2002. This sym- sium was the seventh in a series of FTRTFT symposia devoted to problems and …
Formal Techniques in Real-Time and Fault-Tolerant Systems
7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings
Av Ernst-Rudiger Olderog, Werner Damm
E-bok, 2003
755 kr
Lägg i varukorg
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 September 2002. This sym- sium was the seventh in a series of FTRTFT symposia devoted to problems and …
Correct System Design
Recent Insights and Advances
Av Bernhard Steffen, Ernst-Rudiger Olderog
E-bok, 2003
755 kr
Lägg i varukorg
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 of paramount importance that systems controled by a computer or computing systems themselves reliably …
Programmverifikation
Sequentielle, parallele und verteilte Programme
Av Krzysztof R. Apt, Ernst-Rüdiger Olderog
Häftad, 1994
312 kr
Lägg i varukorg
Correct System Design
Recent Insights and Advances
Av Ernst-Rüdiger Olderog, Bernhard Steffen
Häftad, 1999
567 kr
Lägg i varukorg
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 of paramount importance that systems controled by a computer or computing systems themselves reliably …
Programmverifikation
Sequentielle, parallele und verteilte Programme
Av Ernst-Rudiger Olderog, Krzysztof R. Apt
E-bok, 2013
326 kr
Lägg i varukorg
