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

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...

Celý popis

Podrobná bibliografie

Další autoři:	Meyer, Roland (Editor) Platzer, André (Editor) Wehrheim, Heike (Editor)
Korporace:	SpringerLink (online služba) (Distributor)
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Cham ; Heidelberg ; New York ; Dordrecht ; London : Springer, 2015
Edice:	Lecture notes in computer science
Žánr/forma:	elektronické knihy
ISBN:	978-3-319-23506-6 978-3-319-23505-9
Témata:	Olderog, Ernst-Rüdiger informatika softwarové inženýrství programovací jazyky matematická logika umělá inteligence
On-line přístup:	Plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!