Specification Formelle Avec B - Habrias Henri
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre226,31 €
Occasion · Bon État
Ou 56,58 € /mois
- Livraison : 1,99 €
- Livré entre le 21 et le 25 juillet
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.
-
Final Cut Pro 5 - Ouvrage D'auto-Formation Apple (1 Dvd)
1 avis
Occasion dès 220,54 €
-
Tout Ce Que Vous Avez Toujours Voulu Savoit Sur Les Tubes Audio Anciens & Récents - Vademecum De Paléo-Électronique
Occasion dès 274,90 €
-
Protection Des Réseaux Électriques
1 avis
Occasion dès 214,00 €
-
Intégrité Du Signal - Compatibilité Électromagnétique Dans Les Interconnexions Haut Débit
1 avis
Neuf dès 127,10 €
-
Légende Kingdom Hearts (La) - Tome 1 : Création - Le Royaume Du Coeur
1 avis
Occasion dès 299,00 €
-
Guide Pratique De La Cem - Les Sources De Perturbations - Les Techniques De Protection
Neuf dès 139,00 €
Occasion dès 253,71 €
-
Atari - L'histoire Et L'art D'une Marque Culte
2 avis
Occasion dès 169,00 €
-
Dispositifs Et Circuits Intégrés Semiconducteurs, Physique Et Technologie
Occasion dès 152,00 €
-
Histoire De Nintendo (L') - Nouvelle Édition - Tome 3
3 avis
Occasion dès 179,99 €
-
Personnalisez Vos Montages Arduino - Techniques Pratiques Et Fonctions Avancées
1 avis
Occasion dès 185,91 €
-
Mise Au Point Des Installations Hydrauliques - Map Hydraulique, Vérifier, Mesurer, Régler Pour La Meilleure Qualité Des Installations De Génie Climatique
Occasion dès 152,00 €
-
3 Systèmes Experts En Turbo Pascal Utile
Occasion dès 149,96 €
-
Ethique Et Transition Numérique
Neuf dès 171,34 €
-
Programmation Des Microprocesseurs De H. Lilen.. 2 Eme Edition
Occasion dès 321,10 €
-
Diagnostic Et Commande À Tolérance De Fautes - Volume 2, Du Diagnostic De Fautes À La Commande Tolérante Aux Fautes
Neuf dès 264,15 €
-
La Mémorisation Dans Les Ordinateurs - Volume 2, Caractérisation D'une Mémoire À Semi-Conducteurs Et La Mémoire Vive Statique Asynchrone
Neuf dès 169,49 €
-
Transformation Digitale Des Processus Industriels - Jumeau Numérique, Cloud Computing, Systèmes Industriels Cyber-Physiques Et Pilotage Intelligent
Neuf dès 162,12 €
-
Véhicule Autonome - Applications Aéronautique Et Automobile
Neuf dès 162,12 €
-
Radar À Pénétration De Sol - Approches Théoriques Et Computationnelles, Traitement De Signal, Antennes Et Applications
Neuf dès 264,15 €
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