MPG.eBooks - Search Results - "Computer Science"

Cover Image

1

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

2

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

3

New Trends in Constraints : Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers

Published 2000

Springer Berlin Heidelberg

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

Cover Image

4

Recent Advances in Constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2...

Published 2004

Springer Berlin Heidelberg

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

Cover Image

5

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