Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Correct System Design

Name: Correct System Design
Brand: Springer International Publishing AG
SKU: 09545743
Price: 46.84 EUR
Availability: InStock
Author: Roland Meyer
ISBN: 9783319235059

Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings

Roland Meyer

André Platzer

Heike Wehrheim

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 09545743

Založba Springer International Publishing AG, avgust 2015

This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. Thi... Celoten opis

Koda Libristo: 09545743

114 b

46.84 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Ultima Amante Del Generalisimo Carlos Perez Ariza

Mehka

14.83 €

Die Anwendungsbereiche Von Cisg Und PR Cesl Im Vergleich Daniel Brauner

Trda

80.46 €

Tugent Spyl Sebastian Brant

Trda

112.67 €

Избранные этюды для шестиструнной гитары. Учебное пособие для детских музыкальных школ и училищ И. Пермяков

Note

7.06 €

Кауфман Happy Еnglish 11 кл. Рабочая тетрадь №1 ФГОС (Титул)

Mehka

7.06 €

MUJERCITAS EDICION LIMITADA CON CANTOS TINTADOS Louisa May Alcott

Knjiga

14.02 €

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.