Specification Formelle Avec B - Habrias Henri
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre116,51 €
Occasion · Bon État
Ou 29,13 € /mois
- Livraison : 1,99 €
- Livré entre le 9 et le 13 juin
Article d'occasion vérifié. Traité et expédié depuis la France !
- 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 Specification Formelle Avec B de henri habrias Format Broché - Livre Informatique
0 avis sur Specification Formelle Avec B de henri habrias Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Cours De Cryptographie
Occasion dès 61,15 €
-
Les Réseaux Informatiques - Administration, Sécurité Et Supervision - Pack En 2 Volumes : Réseaux Informatiques, Notions Fondamentales - Les Réseaux Informatiques, Guide Pratique Pour...
Occasion dès 68,90 €
-
Histoire De Nintendo (L') - Nouvelle Édition - Tome 2
3 avis
Occasion dès 74,90 €
-
Compilateurs - Cours Et Exercices Corrigés
2 avis
Occasion dès 60,00 €
-
Le Labo Photo Numérique - Avec Adobe Photoshop Et Lightroom
Occasion dès 75,00 €
-
Structure Et Interpretation Des Programmes Informatiques
2 avis
Occasion dès 76,32 €
-
Corriges Des Exercices Et Tp Du Traite De L'electronique - Volume 1, Electronique Analogique
Occasion dès 114,90 €
-
The Elder Scrolls V, Skyrim - Peuples Et Créatures
6 avis
Occasion dès 69,00 €
-
Nintendo 64 Anthologie
4 avis
Occasion dès 120,00 €
-
Métaheuristiques Et Nouveaux Outils En Ro, Applications - Traité Ic2
Neuf dès 90,00 €
-
L'histoire De Nintendo - Tome 2, 1980-1991 L'étonnante Invention : Les Game & Watch
Occasion dès 59,90 €
-
Neo Geo Anthologie - Gold Edition
Occasion dès 59,90 €
-
Atari - L'histoire Et L'art D'une Marque Culte
2 avis
Occasion dès 169,00 €
-
Resident Evil 3, Le Guide Officiel
9 avis
Occasion dès 68,00 €
-
Certified Ethical Hacker - Préparation À La Certification Ceh
1 avis
Neuf dès 59,00 €
-
Analyse Et Conception Orientées Objet
Occasion dès 84,90 €
-
Cryptographie - Principe Et Mises En Oeuvre
Neuf dès 95,00 €
-
Circuits Électriques
Neuf dès 68,00 €
Occasion dès 67,99 €
-
Les Nouveaux Schémas Directeurs Des Si - Gouvernance, Valeur Et Stratégie
Occasion dès 68,00 €
Produits similaires
Présentation Specification Formelle Avec B de henri habrias Format Broché
- Livre Informatique
Résumé :
La méthode B a été élaborée par Jean-Raymond Abrial pour spécifier, concevoir et coder des systèmes logiciels. Elle est utilisée dans l'industrie, notamment dans les systèmes de sécurité, de protection et de contrôle de vitesse des trains. Cet ouvrage est une introduction à la notation B et à la méthode B. Le concept de base est celui de machine abstraite dont l'état est décrit par un invariant. La méthode consiste à prouver formellement que les opérations respectent bien l'invariant, puis à raffiner les machines abstraites en machines implantables, et à prouver que ce raffinage est correct. Le logiciel est ainsi prouvé par construction relativement à sa spécification. L'architecture du logiciel préconisée est l'architecture en couche. A partir d'exemples simples de spécifications, ce livre propose un développement complet en B. Il présente les bases mathématiques et logiques mises en oeuvre et détaille les éléments du langage B, en allant de la spécification à l'implantation.
©
Détails de conformité du produit
Personne responsable dans l'UE