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 € ACS-Stelle 4.99 € Box Now 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Correct System Design

Name: Correct System Design
Brand: Springer, Berlin
SKU: 04333716
Price: 51.59 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

125 b

51.59 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Kunden kauften auch

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

Noten

9.38 €

Agrapha

Broschur

24.12 €

Al anochecer Juan Utrilla

Broschur

13.52 €

Settler Responsibility for Decolonisation Christine Woods

Hardcover

217.98 €

Krew i popiół. Polscy żołnierze Napoleona Piotr Korczyński

Hardcover

15.24 €

Gluck - Werte - Sinn Matthias Hoesch

Hardcover

188.20 €

Le diable dans la peau Howarth

Broschur

13.12 €

Christentum - Islam Frithjof Schuon

Broschur

25.94 €

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

binding.

6.86 €

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

Broschur

60.17 €

Japanese Homes and Their Surroundings Edward S. Morse

Broschur

24.02 €

Abgrenzung der Freien Berufe vom Gewerbe Christina König

Broschur

25.03 €

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

Broschur

12.81 €

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