¡Papá merece una gran historia! Hasta 50% dto + 3 cuotas sin interés desde MP  Ver más

Enviar a
C.A.B.A., Ciudad Autónoma de Buenos Aires
0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

Selecciona tu país

América

Europa

Resto del mundo

portada Correct System Design (en Inglés)
Formato
Libro Físico
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

Correct System Design (en Inglés) - André Platzer;Heike Wehrheim;Roland Meyer

Libro Nuevo Importado
Envío: 17 a 22 días háb.
$ 185.164$ 92.582
-50%
Costos de importación incluídos en el precio ✅
Libro Nuevo

Quedan 50 unidades

$ 92.582
Llega entre el 16 Jul y el 23 Jul a C.A.B.A., Ciudad Autónoma de Buenos Aires. Seleccionar ubicación

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.

Opiniones del libro

Preguntas frecuentes sobre el libro

Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Inglés.
La encuadernación de esta edición es Tapa Blanda.

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes