SPARK 2014 Reference Manual - Adacore
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtreBrand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781680921809_dbm
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Spark 2014 Reference Manual Format Broché - Livre Informatique
0 avis sur Spark 2014 Reference Manual Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
La Massue : Les Soldats Polonais Dans La Bataille De Normandie
1 avis
Occasion dès 20,00 €
-
The Lithographs - R.C.Gorman - By Doris Monthan - Northland Press / Flagstaff - 1978 - 137 Pages
Occasion dès 30,00 €
-
Les Plans De Jeu À La Couleur. Mieux Jouer Avec Le Mort
Occasion dès 19,85 €
-
Classical Painting Atelier
1 avis
Neuf dès 39,76 €
-
The Beatles Complete Chord Songbook
1 avis
Neuf dès 39,64 €
-
Unimat 3 Lathe Accessories
Neuf dès 14,67 €
-
Pre-Raphaelite Drawing
Neuf dès 35,08 €
-
Bruce Springsteen - Songs
3 avis
Occasion dès 22,89 €
-
La Subordination En Anglais - Une Approche Énonciative
Neuf dès 24,00 €
-
The Age Of Surveillance Capitalism
Neuf dès 19,99 €
Occasion dès 30,29 €
-
Sacred Sexuality In Ancient Egypt
Neuf dès 33,23 €
-
Fighting Back With Fat
Neuf dès 30,57 €
-
Mathieu Lehanneur
Occasion dès 33,60 €
-
Front Covers
Occasion dès 41,25 €
-
Game Changer
Neuf dès 14,88 €
-
The Most Interesting Man In The World
Neuf dès 27,12 €
-
The Case For Jesus
Neuf dès 24,92 €
-
Fins
Neuf dès 20,64 €
-
The Missing Piece
Neuf dès 23,36 €
-
Pages Choisies Des Auteurs Contemporains, Emile Zola
Occasion dès 30,90 €
Produits similaires
Présentation Spark 2014 Reference Manual Format Broché
- Livre Informatique
Résumé :
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 extending the system of contracts and aspects to support modular, formal verification. This manual is available online for free at adacore.com. This manual is printed in grayscale.
Détails de conformité du produit
Personne responsable dans l'UE