[email protected]
LIBRISTO 0
Österreichische Post 5.99 € DPD-Kurier 6.49 € GLS-Kurier 4.49 €
phone Kontakt phoneWie einkaufen

Correct System Design

Sprache EnglischEnglisch
Buch Broschur
Buch Correct System Design Roland Meyer
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
? points 161 b
64.16 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-16 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

TOP
The Human Body Richard Walker / Hardcover
common.buy 28.75 €
Dark Nights: Metal Scott Snyder / Broschur
common.buy 17.65 €
Teenage Mutant Ninja Turtles: The IDW Collection Volume 1 Tom Waltz / Hardcover
common.buy 49.33 €
Longman Dictionary of Language Teaching and Applied Linguistics Richard W. Schmidt / Hardcover
common.buy 232.56 €
Professional Mobile Application Development Jeff McWherter / Broschur
common.buy 39.04 €
Software System Design Methods Josef K. Skwirzynski / Broschur
common.buy 126.51 €
Ultima Amante Del Generalisimo Carlos Perez Ariza / Broschur
common.buy 17.44 €
Reclaiming Caring in Teaching and Teacher Education Lisa S. Goldstein / Broschur
common.buy 41.06 €
Shadow of Rhiannon Sara Pope - Ramsey / Broschur
common.buy 21.08 €
Modern Societies Stephen K Sanderson / Broschur
common.buy 76.27 €
Mystical "Beatles" Dean Carter / Hardcover
common.buy 19.77 €

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.

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

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto