Specification Formelle Avec B - Habrias Henri
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtrePrix neuf 98,00 €
Qu'est-ce que le prix barré ?
C'est le prix de vente au public, fixé par l'éditeur ou l'importateur, pour le même article neuf.
En savoir plus40,00 €
Occasion · Comme Neuf
Ou 10,00 € /mois
Disponible en retrait gratuit chez le vendeur (Stosswihr) (68)
- Livraison : 3,49 €
Particulier
Vendeur favori
5/5 sur 10 ventes
Très complet sur la preuve du logiciel
Nos autres offres
-
Prix neuf 98,00 €
-31%Qu'est-ce que le prix barré ?
C'est le prix de vente au public, fixé par l'éditeur ou l'importateur, pour le même article neuf.
En savoir plus67,20 €
Occasion · Bon État
Ou 16,80 € /mois
- Livraison : 1,99 €
- Livré entre le 25 et le 28 avril
Article d'occasion vérifié. Traité et expédié depuis la France !
-
98,00 €
Produit Neuf
Ou 24,50 € /mois
- Livraison à 0,01 €
- Livré entre le 28 avril et le 4 mai
Livre neuf. Expédié sous 4 à 8 jours vers la France ou l'étranger. Emballage solide. Avertissement par e-mail de l'envoi du colis. VENDEUR PROFESSIONNEL
-
98,00 €
Produit Neuf
Ou 24,50 € /mois
- Livraison à 0,01 €
- Livré entre le 27 avril et le 2 mai
Libraire professionnel. Livre neuf. Expedition sous 2 a 4 semaines. Suivi par mail.
- 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.
-
L'électronique En Pratique - Tome 2
1 avis
Occasion dès 49,00 €
-
Décrypter Les Jeux The Last Of Us - Que Reste-T-Il De L'humanité ?
2 avis
Neuf dès 29,90 €
Occasion dès 23,69 €
-
Plan De Continuité D'activité - Concepts Et Démarche Pour Passer Du Besoin À La Mise En Oeuvre Du Pca
1 avis
Occasion dès 45,00 €
-
L'électronique Pour Les Nuls
1 avis
Occasion dès 22,42 €
-
Instagram Pour Les Nuls
Occasion dès 24,77 €
-
Intelligence Artificielle
2 avis
Occasion dès 35,00 €
-
Macbook Pour Les Nuls
Occasion dès 20,37 €
-
Html & Css, Design Et Création Web
3 avis
Occasion dès 34,48 €
-
Machine Learning Avec Scikit-Learn - Mise En Oeuvre Et Cas Concrets
Neuf dès 39,00 €
Occasion dès 31,08 €
-
Ingénierie De L'ia
1 avis
Neuf dès 49,95 €
Occasion dès 34,52 €
-
L'électronique En Pratique - 36 Expériences Ludiques
2 avis
Occasion dès 37,58 €
-
Administration Linux Par La Pratique - Tome 2, Configurer Les Services Les Plus Courants
1 avis
Neuf dès 32,00 €
Occasion dès 34,99 €
-
Programmer Avec Python
2 avis
Neuf dès 39,00 €
Occasion dès 35,01 €
-
Android - Les Fondamentaux De La Sécurité Des Smartphones Et Tablettes
Occasion dès 22,99 €
-
Comprendre L'électronique Par La Simulation - 43 Circuits Simulés Et Rappels De Cours, Avec Cd-Rom
Occasion dès 24,90 €
-
Le Data Warehouse - Guide De Conduite De Projet
3 avis
Occasion dès 39,00 €
-
Cybersécurité - Méthode De Gestion De Crise
Neuf dès 32,00 €
Occasion dès 34,99 €
-
Dark Souls Iii - Design Works
4 avis
Neuf dès 39,90 €
Occasion dès 20,00 €
-
Programmation 486 Et Pentium - Optimisez Le Code C/C++ Et Assembleur, Avec Cd-Rom
Occasion dès 59,50 €
-
Solutions Temps Réel Sous Linux
Neuf dès 35,00 €
Occasion dès 22,43 €
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