Correct System Design: Symposium in Honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings (Paperback)
6 Angebote vergleichen
Preise | 2015 | 2019 | 2023 |
---|---|---|---|
Schnitt | € 62,14 | € 51,36 | € 51,36 |
Nachfrage |
1
Symbolbild
Correct System Design
DE PB NW
ISBN: 9783319235059 bzw. 3319235052, in Deutsch, Springer, Berlin Springer International Publishing, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
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.1st ed. 2015. 2015. viii, 270 S. 52 SW-Abb. 235 mmVersandfertig in 3-5 Tagen, Softcover.
buecher.de GmbH & Co. KG, [1].
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.1st ed. 2015. 2015. viii, 270 S. 52 SW-Abb. 235 mmVersandfertig in 3-5 Tagen, Softcover.
2
Symbolbild
Correct System Design (2015)
DE PB NW RP
ISBN: 9783319235059 bzw. 3319235052, in Deutsch, Springer Sep 2015, Taschenbuch, neu, Nachdruck.
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, Germany.
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. 292 pp. Englisch.
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. 292 pp. Englisch.
3
Correct System Design
~EN PB NW
ISBN: 9783319235059 bzw. 3319235052, vermutlich in Englisch, Springer Shop, Taschenbuch, neu.
Lieferung aus: Deutschland, Lagernd.
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. Soft cover.
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. Soft cover.
4
Symbolbild
Correct System Design: Symposium in Honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings (Paperback) (2015)
DE PB NW
ISBN: 9783319235059 bzw. 3319235052, in Deutsch, Springer International Publishing, Taschenbuch, neu.
Von Händler/Antiquariat, The Book Depository EURO [60485773], London, United Kingdom.
Language: English Brand New Book. This book is dedicated to Professor Ernst--Rudiger 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-Rudiger Olderog s work. After a laudatio section that provides a brief overview of Ernst-Rudiger 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.
Language: English Brand New Book. This book is dedicated to Professor Ernst--Rudiger 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-Rudiger Olderog s work. After a laudatio section that provides a brief overview of Ernst-Rudiger 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.
5
Symbolbild
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 (2015)
DE PB NW
ISBN: 9783319235059 bzw. 3319235052, in Deutsch, Springer, Taschenbuch, neu.
Von Händler/Antiquariat, Herb Tandree Philosophy Books [17426], Stroud, GLOS, United Kingdom.
9783319235059 Paperback, This listing is a new book, a title currently in-print which we order directly and immediately from the publisher.
9783319235059 Paperback, This listing is a new book, a title currently in-print which we order directly and immediately from the publisher.
6
Symbolbild
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 (2015)
DE PB NW
ISBN: 9783319235059 bzw. 3319235052, in Deutsch, Springer, Taschenbuch, neu.
Von Händler/Antiquariat, Revaluation Books [2134736], Exeter, United Kingdom.
9.25x6.10 inches. In Stock.
9.25x6.10 inches. In Stock.
Lade…