Del 9360 - Lecture Notes in Computer Science
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
Häftad, Engelska, 2015
659 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. 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.
Produktinformation
- Utgivningsdatum2015-09-03
- Mått155 x 235 x 16 mm
- Vikt446 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor279
- FörlagSpringer International Publishing AG
- ISBN9783319235059
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Formal Methods
André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi, Andre Platzer, Kristin Yvonne Platzer, André
Häftad
579 kr
Del 12699
Automated Deduction – CADE 28
André Platzer, Geoff Sutcliffe, Andre Platzer, Geoff Platzer, André
Häftad
579 kr
Del 16237
Theoretical Aspects of Computing – ICTAC 2025
Zhiming Liu, Adnane Saoud, Heike Wehrheim
Häftad
1 039 kr
Del 12165