Gratis bezorging voor bestellingen boven de 69,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 69.99 €

DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis bezorging voor bestellingen boven de 69,99 euro.

Correct System Design

Name: Correct System Design
Brand: Springer International Publishing AG
SKU: 09545743
Price: 49.53 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

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 09545743

Uitgeverij Springer International Publishing AG, augustus 2015

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

Libristo-code: 09545743

120 b

49.53 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Ultima Amante Del Generalisimo Carlos Perez Ariza

Gebonden (paperback)

15.56 €

Die Anwendungsbereiche Von Cisg Und PR Cesl Im Vergleich Daniel Brauner

Gebonden (harde band)

85.01 €

Tugent Spyl Sebastian Brant

Gebonden (harde band)

119.08 €

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

Bladmuziek

7.98 €

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

Gebonden (paperback)

7.98 €

MUJERCITAS EDICION LIMITADA CON CANTOS TINTADOS Louisa May Alcott

Boek

14.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.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Correct System Design

Auteur Roland Meyer, André Platzer, Heike Wehrheim

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 2015

Aantal pagina's 279

EAN 9783319235059

ISBN 3319235052

Libristo-code 09545743

Uitgeverij Springer International Publishing AG

Gewicht 4453

Afmetingen 155 x 235 x 14

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie

Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp

Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)

Geef dit boek vandaag nog cadeau

Dat gaat heel eenvoudig

1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger