Name: Correct System Design (en Inglés)
Price: 197165.00 COP
Availability: InStock
Author: André Platzer;Heike Wehrheim;Roland Meyer
ISBN: 9783319235073

portada Correct System Design (en Inglés)

Formato

Libro Físico

Editorial

Springer Nature B.V.

Autor

André Platzer;Heike Wehrheim;Roland Meyer

Año

2015

Idioma

Inglés

N° páginas

292

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 cm

ISBN13

9783319235073

Correct System Design (en Inglés)

André Platzer;Heike Wehrheim;Roland Meyer (Autor) · Springer Nature B.V. · Tapa Blanda

Libro Nuevo Importado

Envío: 15 a 20 días háb.

$ 358.482$ 197.165

-45%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 50 unidades

$ 197.165

¡Envío Gratis! Llega entre el 01 Sep y el 09 Sep a Bogota, Cundinamarca. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Correct System Design (en Inglés)"

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.