[email protected]
LIBRISTO 0
DHL Abholort 4.69 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € GLS-Kurierdienst 3.99 €
phone Kontakt phoneWie einkaufen

SPARK 2014 USERS GD

Sprache EnglischEnglisch
Buch Broschur
Buch SPARK 2014 USERS GD Adacore Team
Libristo-Code: 16491706
Verlag ARTPOWER INTL PUB, Juni 2017
SPARK 2014 is a programming language and a set of verification tools designed to meet the needs of h... Vollständige Beschreibung
? points 115 b
45.99 € inkl. MwSt.
Externes Lager Wir versenden in 15-20 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

Building Custom Tasks for SQL Server Integration Services Andy Leonard / Broschur
common.buy 30.05 €
Leichte Sprache. Untersuchung zur Binnendifferenzierung des Adressatenkreises Moritz Ballerstädt / Broschur
common.buy 48.37 €
Hospice RN BSN MARKS / Broschur
common.buy 12.70 €
The Rez of the Story Vince Two Eagles / Broschur
common.buy 17.44 €
The Magnificent Ambersons Booth Tarkington / Broschur
common.buy 16.94 €
Family Maps of Dade County, Missouri Gregory a Boyd J D / Broschur
common.buy 35.40 €
Panorama Of American Piano Music Yvar Mikhashoffs / Audio CD
common.buy 59.51 €
Reaping the Whirlwind Mrs. Daniel / Broschur
common.buy 37.62 €
Les Coquecigrues Joel Gissy / Broschur
common.buy 21.07 €
Poemas De Un Tiempo Olvidado Pablo Alberto Cuadra / Broschur
common.buy 12.10 €
Intersections: Where Faith & Life Meet: Prayer Cardelia Howell Diamond / Broschur
common.buy 9.37 €
Adam Bede George Eliot / Broschur
common.buy 22.69 €
Fausts Leben, Taten und Höllenfahrt Friedrich Maximilian Klinger / Broschur
common.buy 12.10 €
Comme Un' Ombra Di Luna Ens. Belcanto/Dietburg Spohr / Audio CD
common.buy 14.11 €
Dark Lane Anthology Tim Jeffreys / Broschur
common.buy 15.22 €
Apple Eater Annemarieke Tazelaar / Broschur
common.buy 15.32 €

SPARK 2014 is a programming language and a set of verification tools designed to meet the needs of high-assurance software development. SPARK 2014 is based on Ada 2012, both subsetting the language to remove features that defy verification, but also extend

Informationen zum Buch

Vollständiger Name SPARK 2014 USERS GD
Autor Adacore Team, Altran Uk Ltd
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2017
Anzahl der Seiten 312
EAN 9789888407163
ISBN 9888407163
Libristo-Code 16491706
Verlag ARTPOWER INTL PUB
Gewicht 726
Abmessungen 216 x 280 x 17

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
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