Introduction Aux Methodes Formelles. 2eme Edition
Par :Formats :
- Paiement en ligne :
- Livraison à domicile ou en point Mondial Relay entre le 9 août et le 12 aoûtCet article sera commandé chez un fournisseur et vous sera envoyé 3 à 6 jours après la date de votre commande.
- Retrait Click and Collect en magasin gratuit
- Livraison à domicile ou en point Mondial Relay entre le 9 août et le 12 août
- Réservation en ligne avec paiement en magasin :
- Indisponible pour réserver et payer en magasin
- Nombre de pages351
- PrésentationBroché
- Poids0.55 kg
- Dimensions15,5 cm × 23,5 cm × 2,1 cm
- ISBN2-7462-0140-2
- EAN9782746201408
- Date de parution29/07/2000
- CollectionTechnique et scientifique des
- ÉditeurHermes Science Publications
Résumé
Cet ouvrage présente les bases théoriques de la spécification formelle qui est de plus en plus utilisée dans la conception de systèmes informatiques. Il propose une vue d'ensemble des techniques générales de la spécification, du développement modulaire de logiciel par raffinements progressifs et de la preuve formelle. Il réalise un exposé rigoureux des théories mathématiques sous-jacentes et explique concrètement la mise en oeuvre des techniques sur des outils effectifs. Son contenu a été mis à jour et son organisation complètement remaniée, avec un nouveau chapitre consacré aux systèmes de transitions et à la logique temporelle.
Cet ouvrage présente les bases théoriques de la spécification formelle qui est de plus en plus utilisée dans la conception de systèmes informatiques. Il propose une vue d'ensemble des techniques générales de la spécification, du développement modulaire de logiciel par raffinements progressifs et de la preuve formelle. Il réalise un exposé rigoureux des théories mathématiques sous-jacentes et explique concrètement la mise en oeuvre des techniques sur des outils effectifs. Son contenu a été mis à jour et son organisation complètement remaniée, avec un nouveau chapitre consacré aux systèmes de transitions et à la logique temporelle.