SPARK 2014 User's Guide - Adacore

Format: Broché

Note : 0

Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

43,87 €

Produit Neuf

Ou 10,97 € /mois

Livraison à 0,01 €
Livré entre le 29 juillet et le 10 août

Voir les modes de livraison

PRO Vendeur favori

4,9/5 sur + de 1 000 ventes

Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781680921793_dbm

Voir le détail de l'annonce

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Spark 2014 User's Guide Format Broché - Livre Informatique

Note : 0 0 avis sur Spark 2014 User's Guide Format Broché - Livre Informatique

Donnez votre avis

Donnez votre avis sur ce produit

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Produits similaires

Présentation Spark 2014 User's Guide Format Broché
- Livre Informatique

Livre Informatique - Adacore - 01/02/2018 - Broché - Langue : Anglais

Auteur(s) : Adacore - Altran Uk Ltd

Editeur : 12th Media Services

Langue : Anglais

Parution : 01/02/2018

Format : Moyen, de 350g à 1kg

Nombre de pages : 326

Expédition : 823

Dimensions : 28.0 x 21.6 x 1.8

ISBN : 9781680921793

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

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

SPARK 2014 User's Guide - Adacore

Avis sur Spark 2014 User's Guide Format Broché - Livre Informatique

Présentation Spark 2014 User's Guide Format Broché - Livre Informatique

Présentation Spark 2014 User's Guide Format Broché
- Livre Informatique