«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

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

Idioma InglésInglés
Libro Tapa blanda
Libro Correct System Design Roland Meyer
Código Libristo: 09545743
Editores Springer International Publishing AG, agosto 2015
This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. Thi... Descripción completa
? points 133 b
54.29 €
Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días

Clientes que también han comprado

Ultima Amante Del Generalisimo Carlos Perez Ariza / Libro Tapa blanda
common.buy 16.19 €
Die Anwendungsbereiche Von Cisg Und PR Cesl Im Vergleich Daniel Brauner / Libro Tapa dura
common.buy 90.29 €
Tugent Spyl Sebastian Brant / Libro Tapa dura
common.buy 130.19 €
Избранные этюды для шестиструнной гитары. Учебное пособие для детских музыкальных школ и училищ И. Пермяков / Artículos impresos Partituras
common.buy 8.79 €
Кауфман Happy Еnglish 11 кл. Рабочая тетрадь №1 ФГОС (Титул) / Libro Tapa blanda
common.buy 8.79 €
MUJERCITAS EDICION LIMITADA CON CANTOS TINTADOS Louisa May Alcott / Libro Libro
common.buy 16.95 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Correct System Design
Autor Roland Meyer, André Platzer, Heike Wehrheim
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2015
Número de páginas 279
EAN 9783319235059
ISBN 3319235052
Código Libristo 09545743
Editores Springer International Publishing AG
Peso 4453
Dimensiones 155 x 235 x 14

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Ingeniería de control automático > Robótica
Matemáticas y ciencias > Matemáticas > Fundamentos matemáticos > Lógica matemática
Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Ciencias de la computación > Inteligencia artificial
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Popular
Teenage Mutant Ninja Turtles: The IDW Collection Volume 1 Tom Waltz / Libro Tapa dura
common.buy 46.39 €
Dream Jobs in Math Colin Hynson / Libro Tapa blanda
common.buy 8.79 €
Popular
The Keys to the Gateway of Magic: Summoning the Solomonic Archangels & Demon Princes Stephen Skinner / Libro Tapa dura
common.buy 51.29 €
Praenomina Richard Stephen Charnock / Libro Tapa dura
common.buy 31.79 €
Dark Nights: Metal Scott Snyder / Libro Tapa blanda
common.buy 20.49 €
The Human Body Richard Walker / Libro Tapa dura
common.buy 28.59 €
Microwave Tomography Sima Noghanian / Libro Tapa blanda
common.buy 112.79 €
Professional Mobile Application Development Jeff McWherter / Libro Tapa blanda
common.buy 35.89 €
Reclaiming Caring in Teaching and Teacher Education Lisa S. Goldstein / Libro Tapa blanda
common.buy 39.89 €
Shadow of Rhiannon Sara Pope - Ramsey / Libro Tapa blanda
common.buy 19.59 €
Modern Societies Stephen K Sanderson / Libro Tapa blanda
common.buy 84.09 €
Longman Dictionary of Language Teaching and Applied Linguistics Richard W. Schmidt / Libro Tapa dura
common.buy 253.39 €
Mystical "Beatles" Dean Carter / Libro Tapa dura
common.buy 18.09 €
Software System Design Methods Josef K. Skwirzynski / Libro Tapa blanda
common.buy 112.79 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?