Building High Integrity Applications With Spark Format Broché

Building High Integrity Applications with SPARK - Chapin, Peter C.

Format: Broché
382 pages

Note : 0

0 avis

Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

Filtrer par :

Neuf (2)

Occasion

Reconditionné

36,33 €

Produit Neuf

Ou 9,08 € /mois

Livraison à 0,01 €
Livré entre le 4 et le 7 août

Voir les modes de livraison

PRO Vendeur favori

4,5/5 sur 219 ventes

Livre de poche,Expédition depuis la Chine; Livraison sous 8-12 jours

Nos autres offres

86,92 €

Produit Neuf

Ou 21,73 € /mois

En savoir plus
- Livraison : 25,00 €
- Livré entre le 8 et le 13 août
Voir les modes de livraison
Kelindo

PRO

4,8/5 sur + de 1 000 ventes

Contacter le vendeur
Afficher la description de l'annonce
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.

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 Building High Integrity Applications With Spark Format Broché - Livre Informatique

Note : 0 0 avis sur Building High Integrity Applications With Spark Format Broché - Livre Informatique

Donnez votre avis et cumulez 5

Cumulez 5 en donnant votre avis

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 Building High Integrity Applications With Spark Format Broché
- Livre Informatique

Livre Informatique - Chapin, Peter C. - 01/12/2016 - Broché - Langue : Anglais

Auteur(s) : Chapin, Peter C. - Mccormick, John W.Editeur : Cambridge University PressLangue : AnglaisParution : 01/12/2016Format : Moyen, de 350g à 1kgNombre de pages : 382Expédition :...

Auteur(s) : Chapin, Peter C. - Mccormick, John W.

Editeur : Cambridge University Press

Langue : Anglais

Parution : 01/12/2016

Format : Moyen, de 350g à 1kg

Nombre de pages : 382

Expédition : 552

Dimensions : 22.9 x 15.2 x 2.1

Résumé :
This is the first introduction to the SPARK 2014 language and the tools to verify programs for safety- and security-critical applications.

Biographie:
John McCormick is a Professor of Computer Science at the University of Northern Iowa. He began his career at the State University of New York in 1979. He has served as secretary, treasurer and chair of the Association for Computer Machinery Special Interest Group on Ada. In 1993 John was awarded the Chancellor's Award for Excellence in Teaching. He received the Special Interest Group on Ada Distinguished Service Award in 2002, as well as the Outstanding Ada Community Contributions Award in 2008. His additional awards include the Special Interest Group on Ada Best Paper and Presentation Award, and the Ada Europe Best Presentation Award.

Sommaire:
1. Introduction and overview; 2. The basic SPARK language; 3. Programming in the large; 4. Dependency contracts; 5. Mathematical background; 6. Proof; 7. Interfacing with SPARK; 8. Software engineering with SPARK; 9. Advanced techniques.

Détails de conformité du produit

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

Personne responsable dans l'UE

)

Building High Integrity Applications with SPARK - Chapin, Peter C.

Avis sur Building High Integrity Applications With Spark Format Broché - Livre Informatique

Présentation Building High Integrity Applications With Spark Format Broché - Livre Informatique

Présentation Building High Integrity Applications With Spark Format Broché
- Livre Informatique