Buy Used and New Ernst-RüdigerOlderog Books

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

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

ISBN 13: 9781848827448

Format: Hardcover (502 pages)
Publisher: Springer
Published: 02 Oct 2009

Save for later

Real-Time Systems: Formal Specification and Automatic Verification

by Ernst-Rüdiger Olderog,Henning Dierks

ISBN 13: 9780521883337

Format: Hardcover (344 pages)
Publisher: Cambridge University Press
Published: 11 Sep 2008

Save for later