Roland Meyer & Andre Platzer 
Correct System Design [PDF ebook] 
Symposium in Honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings

Sokongan

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.

€51.52
cara bayaran
Beli ebook ini dan dapatkan 1 lagi PERCUMA!
Bahasa Inggeris ● Format PDF ● ISBN 9783319235066 ● Penyunting Roland Meyer & Andre Platzer ● Penerbit Springer International Publishing ● Diterbitkan 2015 ● Muat turun 3 kali ● Mata wang EUR ● ID 6303431 ● Salin perlindungan Adobe DRM
Memerlukan pembaca ebook yang mampu DRM

Lebih banyak ebook daripada pengarang yang sama / Penyunting

49,595 Ebooks dalam kategori ini