Building High Integrity Applications With Spark Format Relié

Building High Integrity Applications with SPARK - Mccormick, John W.

Format: Relié
382 pages

Note : 0

0 avis

Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

Filtrer par :

Neuf (1)

Occasion (1)

Reconditionné

299,99 €

Produit Neuf

Ou 75,00 € /mois

Livraison : 25,00 €
Livré entre le 8 et le 13 août

Voir les modes de livraison

PRO Vendeur favori

4,8/5 sur + de 1 000 ventes

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.

Nos autres offres

212,99 €

Occasion · Comme Neuf

Ou 53,25 € /mois

En savoir plus

10,65 € offerts
- Livraison : 25,00 €
Voir les modes de livraison
- Protection acheteurs :
- 0,00 €
USAMedia

PRO

4,6/5 sur + de 1 000 ventes

Contacter le vendeur

Afficher la description de l'annonce

Service client à l'écoute et une politique de retour sans tracas - Livraison des USA en 3 a 4 semaines (2 mois si circonstances exceptionnelles) - La plupart de nos titres sont en anglais, sauf indication contraire. N'hésitez pas à nous envoyer un e-... Voir plus

Service client à l'écoute et une politique de retour sans tracas - Livraison des USA en 3 a 4 semaines (2 mois si circonstances exceptionnelles) - La plupart de nos titres sont en anglais, sauf indication contraire. N'hésitez pas à nous envoyer un e-mail si vous avez des questions. Notre service clientele sera ravi de vous aider. Voir moins
299,99 €

Produit Neuf

Ou 75,00 € /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 Relié - Livre Informatique

Note : 0 0 avis sur Building High Integrity Applications With Spark Format Relié - 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 Relié
- Livre Informatique

Livre Informatique - Mccormick, John W. - 01/11/2015 - Relié - Langue : Anglais

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

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

Editeur : Cambridge University Press

Langue : Anglais

Parution : 01/11/2015

Format : Moyen, de 350g à 1kg

Nombre de pages : 382

Expédition : 705

Dimensions : 23.5 x 15.7 x 2.5

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 - Mccormick, John W.

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

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

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