MPG.eBooks - Search Results - "Foundations"

Cover Image

1

Programmverifikation : Sequentielle, parallele und verteilte Programme

by Apt, Krzysztof R., Olderog, Ernst-Rüdiger
Published 1994

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

2

Verification of Sequential and Concurrent Programs

by Apt, Krzysztof R., Olderog, Ernst-Rüdiger
Published 1997

Springer New York

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

3

Verification of Sequential and Concurrent Programs

by Apt, Krzysztof R., de Boer, Frank S., Olderog, Ernst-Rüdiger
Published 2009

Springer London

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

4

Verification of Sequential and Concurrent Programs

by Apt, Krzysztof R., Olderog, Ernst-Rüdiger
Published 1991

Springer New York

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

5

Provably Correct Systems

Published 2017

Springer International Publishing

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

6

Model Checking, Synthesis, and Learning : Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Published 2021

Springer International Publishing

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

7

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

Published 2002

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”