- EAN13
- 9782746201408
- Éditeur
- Hermès science publications
- Date de publication
- 21 juin 1970
- Collection
- Collection technique et scientifique des télécommunications
- Nombre de pages
- 352
- Dimensions
- 24 x 16 x 1,6 cm
- Poids
- 540 g
- Langue
- fre
Introduction Aux Méthodes Formelles (2° Ed.)
Jean-François Monin
Hermès science publications
Prix public : 58,00 €
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.
Offres
Redirection vers
Vous allez être redirigé vers , membre du portail leslibraires.fr, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Canal BD, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Réseau Sorcières, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Libraires Ensemble, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Libr'Aire, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail ALIP, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Librairies Initiales, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Paris Librairies, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Libraires à Nice, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Librairies en Nouvelle-Aquitaine, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Chez Mon Libraire, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Place des libraires, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Lalibrairie.com, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Librest, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Libraires du Sud, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Librairies 93, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Libraires de l'Est, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Association des Librairies Indépendantes d'Occitanie, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.