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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Correct System Design

Name: Correct System Design
Brand: Springer, Berlin
SKU: 04333716
Price: 53.79 EUR
Availability: InStock
Author: Ernst-Rüdiger Olderog
ISBN: 9783540666240

Ernst-Rüdiger Olderog

Sprache

Englisch

Buch Broschur

Libristo-Code: 04333716

Verlag Springer, Berlin, November 1998

Computers are gaining more and more control over systems that we use or rely on in our daily lives,... Vollständige Beschreibung

Libristo-Code: 04333716

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Gott soll allein mein Herze haben (Klavierauszug) Johann Sebastian Bach

Noten

9.79 €

Settler Responsibility for Decolonisation Christine Woods

Hardcover

215.89 €

Agrapha

Broschur

25.29 €

Gluck - Werte - Sinn Matthias Hoesch

Hardcover

196.19 €

Le diable dans la peau Howarth

Broschur

13.49 €

Christentum - Islam Frithjof Schuon

Broschur

28.95 €

Bez pożegnania Saga część I Rybałtowska Barbara

binding.

7.49 €

Libros históricos Universidad de Navarra. Facultad de Teología

Broschur

62.39 €

Japanese Homes and Their Surroundings Edward S. Morse

Broschur

24.79 €

Specialità italiane Italienische Köstlichkeiten. Italienische Köstlichkeiten Levis Roman

Broschur

12.00 €

Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical applications, as well as in others, it is of paramount importance that systems controled by a computer or computing systems themselves reliably behave in accordance with the specification and requirements, in other words: here correctness of the system, of its software and hardware is crucial. In order to cope with this callenge, software engineers and computer scientists need to understand the foundations of programming, how different formal theories are linked together, how compilers correctly translate high-level programs into machine code, and why transformations performed are justifiable. This book presents 17 mutually reviewed invited papers organized in sections on methodology, programming, automation, compilation, and application.

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 Ernst-Rüdiger Olderog

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1999

Anzahl der Seiten 422

EAN 9783540666240

ISBN 3540666249

Libristo-Code 04333716

Verlag Springer, Berlin

Gewicht 590

Abmessungen 155 x 235 x 24

Kategorie

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

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Wissensbasierte Systeme, Expertensysteme

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

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

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Systemanalyse und -design

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

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

Das könnte Sie auch interessieren

Organic Chemistry of Nucleic Acids N. Kochetkov

Broschur

53.79 €

Economic and industrial delusions Arthur B. Farquhar

Broschur

28.99 €

Tattoo Flash Colouring Book Megamunden

Broschur

24.79 €

Rational Theology and Christian Philosophy in England in the Seventeenth Century Part Two John Tulloch

Broschur

42.59 €

Kolbrin Bible Janice Manning

Hardcover

68.09 €

Into the Mosaic Marlene St Rose

Broschur

17.19 €

Food Poisoning and Food Infections William George Savage

Hardcover

34.79 €

Family Shakspeare, in Ten Volumes William Shakespeare

Hardcover

37.69 €

A Trading Nation: Canadian Trade Policy from Colonialism to Globalization Michael Hart

Hardcover

120.69 €

Engineering Mechanics: Dynamics, SI Units Russell Hibbeler

Broschur

88.99 €

Straightforward 2nd Edition Intermediate + eBook Teacher's Pack EBOOK TB PK

Broschur

38.69 €

Irish Pride. an Unsocial Tale of Social Life. E Noble

Broschur

30.29 €

All Together Now Suzanne K. Boss

Broschur

33.79 €

An Eternal Christmas!: The Birth of Love on Earth! Mack Ethridge

Broschur

10.69 €

Church at Work in College and University Paul Micou

Broschur

23.59 €

People Buy From People: 10 Powerful People Lessons from the Ultimate People Person--My Dad Dale Dupree

Broschur

12.59 €

Al Islaam (Islam) Hassan Shabazz

Broschur

20.99 €

Unto the Right Honourable the Lords of Council and Session, the Petition of Robert and William Strangs, James Dykes, Robert Gilmour, Robert Lindsay, R Robert Strang

Broschur

12.49 €