Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
Jean-François Monin, docteur en informatique, est expert senior à la Direction des techniques logicielles de France Télécom R&D.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Introduction aux méthodes formelles (2° Ed.)
Image d'archives
Introduction aux méthodes formelles. 2ème édition
Edité par
Hermes Science Publications, 2000
ISBN 10 : 2746201402
ISBN 13 : 9782746201408
Ancien ou d'occasion
Softcover
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 2000. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Edition 2000. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur E-505-871
Acheter D'occasion
EUR 6,99
Frais de port :
EUR 22,50
De France vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Introduction aux méthodes formelles. 2ème édition
Edité par
Hermes Science Publications, 2000
ISBN 10 : 2746201402
ISBN 13 : 9782746201408
Ancien ou d'occasion
Softcover
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : Très bon. Ancien livre de bibliothèque avec équipements. Edition 2000. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2000. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur G-100-173
Acheter D'occasion
EUR 17,49
Frais de port :
EUR 22,50
De France vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
INTRODUCTION AUX MÉTHODES FORMELLES. 2 ED.
Vendeur : Antártica, Madrid, M, Espagne
Évaluation du vendeur 5 sur 5 étoiles
Rustica (tapa blanda). Etat : New. Etat de la jaquette : Nuevo. 1. LIBRO. N° de réf. du vendeur 95451
Acheter neuf
EUR 24
Frais de port :
EUR 25
De Espagne vers Etats-Unis
Quantité disponible : 1 disponible(s)