Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Correct System Design

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

Sprache

Englisch

Buch Broschur

Libristo-Code: 09545743

Verlag Springer International Publishing AG, August 2015

This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. Thi... Vollständige Beschreibung

Libristo-Code: 09545743

120 b

49.65 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Ultima Amante Del Generalisimo Carlos Perez Ariza

Broschur

16.41 €

Die Anwendungsbereiche Von Cisg Und PR Cesl Im Vergleich Daniel Brauner

Hardcover

89.68 €

Tugent Spyl Sebastian Brant

Hardcover

119.38 €

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

Noten

8.00 €

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

Broschur

8.00 €

MUJERCITAS EDICION LIMITADA CON CANTOS TINTADOS Louisa May Alcott

Buch

16.00 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Correct System Design

Autor Roland Meyer, André Platzer, Heike Wehrheim

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2015

Anzahl der Seiten 279

EAN 9783319235059

ISBN 3319235052

Libristo-Code 09545743

Verlag Springer International Publishing AG

Gewicht 4453

Abmessungen 155 x 235 x 14

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert