LEADER 03527nam  22007935  450 
001 9910483989403321
005 20251226195355.0
010   $a3-319-23506-0
024 7 $a10.1007/978-3-319-23506-6
035   $a(CKB)4340000000001090
035   $a(SSID)ssj0001584998
035   $a(PQKBManifestationID)16265765
035   $a(PQKBTitleCode)TC0001584998
035   $a(PQKBWorkID)14864444
035   $a(PQKB)11038265
035   $a(DE-He213)978-3-319-23506-6
035   $a(MiAaPQ)EBC5596499
035   $a(PPN)190528206
035   $a(EXLCZ)994340000000001090
100   $a20150903d2015      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aCorrect System Design $eSymposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /$fedited by Roland Meyer, André Platzer, Heike Wehrheim
205   $a1st ed. 2015.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015.
215   $a1 online resource (XII, 279 p. 69 illus. in color.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9360
300   $aIncludes Index.
311 08$a3-319-23505-2 
330   $aThis 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.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9360
606   $aComputer science
606   $aMachine theory
606   $aLogic, Symbolic and mathematical
606   $aSoftware engineering
606   $aCompilers (Computer programs)
606   $aArtificial intelligence
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
606   $aMathematical Logic and Foundations
606   $aSoftware Engineering
606   $aCompilers and Interpreters
606   $aArtificial Intelligence
615  0$aComputer science.
615  0$aMachine theory.
615  0$aLogic, Symbolic and mathematical.
615  0$aSoftware engineering.
615  0$aCompilers (Computer programs)
615  0$aArtificial intelligence.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
615 24$aMathematical Logic and Foundations.
615 24$aSoftware Engineering.
615 24$aCompilers and Interpreters.
615 24$aArtificial Intelligence.
676   $a004.0151
702   $aMeyer$b Roland$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPlatzer$b André$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aWehrheim$b Heike$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483989403321
996   $aCorrect system design$91489199
997   $aUNINA