38,95 €
38,95 €
inkl. MwSt.
Sofort per Download lieferbar
19 °P sammeln
38,95 €
Als Download kaufen
38,95 €
inkl. MwSt.
Sofort per Download lieferbar
19 °P sammeln
Jetzt verschenken
Alle Infos zum eBook verschenken
38,95 €
inkl. MwSt.
Sofort per Download lieferbar
Alle Infos zum eBook verschenken
19 °P sammeln
Andere Kunden interessierten sich auch für
![Reversible Computation (eBook, PDF)]( "Reversible Computation (eBook, PDF)")
Reversible Computation (eBook, PDF)40,95 €![Theoretical Aspects of Computing - ICTAC 2019 (eBook, PDF)]( "Theoretical Aspects of Computing - ICTAC 2019 (eBook, PDF)")
Theoretical Aspects of Computing - ICTAC 2019 (eBook, PDF)40,95 €![Processes, Terms and Cycles: Steps on the Road to Infinity (eBook, PDF)]( "Processes, Terms and Cycles: Steps on the Road to Infinity (eBook, PDF)")
Processes, Terms and Cycles: Steps on the Road to Infinity (eBook, PDF)73,95 €![From Programs to Systems - The Systems Perspective in Computing (eBook, PDF)]( "From Programs to Systems - The Systems Perspective in Computing (eBook, PDF)")
From Programs to Systems - The Systems Perspective in Computing (eBook, PDF)38,95 €![Formal Modeling and Analysis of Timed Systems (eBook, PDF)]( "Formal Modeling and Analysis of Timed Systems (eBook, PDF)")
Formal Modeling and Analysis of Timed Systems (eBook, PDF)40,95 €![Foundations of Software Science and Computation Structures (eBook, PDF)]( "Foundations of Software Science and Computation Structures (eBook, PDF)")
Foundations of Software Science and Computation Structures (eBook, PDF)40,95 €![Logic-Based Program Synthesis and Transformation (eBook, PDF)]( "Logic-Based Program Synthesis and Transformation (eBook, PDF)")
Logic-Based Program Synthesis and Transformation (eBook, PDF)40,95 €
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.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.