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 :-(

Correctness-by-Construction Approach to Programming

Name: Correctness-by-Construction Approach to Programming
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01660456
Price: 102.86 EUR
Availability: InStock
Author: Derrick G. Kourie
ISBN: 9783642279188

Derrick G. Kourie

Bruce W. Watson

Sprache

Englisch

Buch Hardcover

Libristo-Code: 01660456

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, April 2012

Focusing on ways to bridge the gap between formal and more intuitive software programming, this care... Vollständige Beschreibung

Libristo-Code: 01660456

249 b

102.86 €

Externes Lager Wir versenden in 10-13 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Sáček textil béžový 25x39cm mix

binding.

4.23 €

J'aime collegium

Broschur

11.71 €

Wärmeinduzierte Wechselwirkungen zwischen Kasein, Molkeproteinen und Lecithinen Mamdouh El-Bakry

Broschur

33.84 €

Tetris – hra, ktorá zmenila dejiny Box Brown

Broschur

18.18 €

Kosmokluk David Walliams

Broschur

14.24 €

Supersensible Impulses P. King

Broschur

24.55 €

SAN ANTONIO T3 TITRE A PRECISER Sanlaville

Hardcover

19.49 €

Good Boy - Jófiú Elle Kennedy

Hardcover

7.47 €

Puedo Mirar Tu Regalo Guido van Genechten

Hardcover

14.44 €

ENGLISH PRONUNCIATION AA. VV

Broschur

25.56 €

Guérir par l'énergie, la méditation et la thérapie VORGER

Broschur

11.31 €

Dictionnaire des oeuvres érotiques COLLECTIFS MERC

Hardcover

37.58 €

Das Verhältnis Des Neugriechischen Zu Den Romanischen Sprachen: Eine Sprachvergleichende Betrachtun Hans Muller

Hardcover

33.03 €

Arabesky Jan Neruda

Hardcover

8.18 €

Introducción al Derecho de la Seguridad Social Santiago González Ortega

Broschur

36.98 €

La negociación del convenio colectivo estatutario Francisco Ramón Lacomba Pérez

Broschur

19.80 €

111 Gründe, Atlético Madrid zu lieben André Kahle

Broschur

13.53 €

Histoire de Sainte Monique 5e Edition Bougaud-L-E

Broschur

41.93 €

AutoCAD 2008, paso a paso Rafael Ábalos Bergillos

Broschur

29.50 €

Histoire de La R'Volution Russe. La R'Volution D'Octobre T2 L'On Trotsky

Broschur

13.23 €

Die Vorsokratischen Philosophen Geoffrey S. Kirk

Broschur

23.74 €

Focusing on ways to bridge the gap between formal and more intuitive software programming, this carefully graded text provides stepwise explanation of algorithm derivation and facilitates practical applications in computation geometry, among other fields.

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 Correctness-by-Construction Approach to Programming

Autor Derrick G. Kourie, Bruce W. Watson

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2012

Anzahl der Seiten 266

EAN 9783642279188

ISBN 364227918X

Libristo-Code 01660456

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 556

Abmessungen 165 x 235 x 26

Kategorie

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

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

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