Enlarge

Correct system design : symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday Oldenburg, Germany, September 8-9, 2015, proceedings

Publication Data

Title Correct system design : symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday Oldenburg, Germany, September 8-9, 2015, proceedings
Contributors R. Meyer, André Platzer, Heike Wehrheim, E.-R. Olderog
Publisher Springer
Publication date 2015
Publication location Cham
Language English

Descriptive Notes

"ISSN 1611-3349 (electronic)"--Title page verso.

Topics

System design :: Congresses
Formal methods (Computer science) :: Congresses
Software engineering :: Congresses

Catalogue Data

OBNB ID GBB5F1942
ISBN 10 3319235052
ISBN 13 9783319235059
Type BibliographicResource, Book
Dewey Classification 004.0151

ISBD

P1053 xii, 277 pages
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Correct system design : symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday Oldenburg, Germany, September 8-9, 2015, proceedings. ISBN 9783319235059. Published by Springer in 2015. Publication and catalogue information, links to buy online and reader comments.