Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 58,84
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 61,23
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 55,32
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 51,03
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 51,44
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 79,48
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 279 pages. 9.00x6.00x0.75 inches. In Stock.
Idioma: Inglés
Publicado por Springer International Publishing, Springer International Publishing, 2015
ISBN 10: 3319235052 ISBN 13: 9783319235059
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 51,36
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. This volume is a reflection on Professor Olderog's contributions to the scientific community. It provides a sample of research ideas that have been influenced directly by Ernst-Rüdiger Olderog's work. After a laudatio section that provides a brief overview of Ernst-Rüdiger Olderog's research, the book is comprised of five parts with scientific papers written by colleagues and collaborators of Professor Olderog. The papers address semantics, process algebras, logics for verification, program analysis, and synthesis approaches.
Librería: preigu, Osnabrück, Alemania
EUR 48,65
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. 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 | Roland Meyer (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2015 | Springer | EAN 9783319235059 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 134,42
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 124,74
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Like New. Like New. book.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 156,38
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por Springer International Publishing Sep 2015, 2015
ISBN 10: 3319235052 ISBN 13: 9783319235059
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 51,36
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. This volume is a reflection on Professor Olderog's contributions to the scientific community. It provides a sample of research ideas that have been influenced directly by Ernst-Rüdiger Olderog's work. After a laudatio section that provides a brief overview of Ernst-Rüdiger Olderog's research, the book is comprised of five parts with scientific papers written by colleagues and collaborators of Professor Olderog. The papers address semantics, process algebras, logics for verification, program analysis, and synthesis approaches. 292 pp. Englisch.
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 44,64
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: new. Questo è un articolo print on demand.
Idioma: Inglés
Publicado por Springer International Publishing, 2015
ISBN 10: 3319235052 ISBN 13: 9783319235059
Librería: moluna, Greven, Alemania
EUR 46,63
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Contains papers presented at a symposium in honor of Ernst-Ruediger Olderog on the occasion of his 60th birthdayThe Festschrift includes contributions from colleagues and friends who have accompanied Ernst-Ruediger Olderog through his scientific lif.
Idioma: Inglés
Publicado por Springer, Springer Sep 2015, 2015
ISBN 10: 3319235052 ISBN 13: 9783319235059
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 51,36
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. This volume is a reflection on Professor Olderog's contributions to the scientific community. It provides a sample of research ideas that have been influenced directly by Ernst-Rüdiger Olderog's work. After a laudatio section that provides a brief overview of Ernst-Rüdiger Olderog's research, the book is comprised of five parts with scientific papers written by colleagues and collaborators of Professor Olderog. The papers address semantics, process algebras, logics for verification, program analysis, and synthesis approaches.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 292 pp. Englisch.