Introduction aux méthodes formelles (2° Ed.)

Descriptif détaillé

media/pim/TITELIVE/66_9782746201408_1_75.jpg

media/pim/TITELIVE/67_9782746201408_4_75.jpg

Introduction aux méthodes formelles (2° Ed.)

Vendu et expédié par : Librinter

État : Neuf

en stock vendeur

Livraison 0.00€ à domicile dès le 00/00/00

description

descriptif du fournisseur

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.

Introduction aux méthodes formelles (2° Ed.)

Introduction aux méthodes formelles (2° Ed.)

On vous recommande avec votre achat

Introduction aux méthodes formelles (2° Ed.)

Introduction aux méthodes formelles (2° Ed.)

58,00€

+

voir mon panier

Découvrez aussi

Livre Mathématiques Livre science et culture scientifique Livre Sciences Humaines Livre

Livre science et culture scientifique

Livre Mathématiques • Livre Physique • Livre Chimie • Livre sciences de la vie • Livre science de la terre • Livre Astronomie

Livre Sciences Humaines

Livre Religions et Spiritualité • Livre Sociologie • Livre Philosophie • Livre Pédagogie • Livre Psychologie • Livre science et culture scientifique • Ecologie • Coups de cœur : Sciences humaines • Livres éthnologie • Livres Anthropologie ...

... Livre Psychanalyse • Esotérisme

Livre

Meilleures ventes : Livre • Nouveautés : Livre • Précommandes : Livre • Livres Audio • Livres universitaires • Sport - Loisir - Nature • Livres scolaires • Livre Vie Pratique • Art - Culture - Société • Livres pour ados et jeunes adultes ...

... Mangas • Comics • BD • Romans littérature • Coups de cœur : Livre • Booktok • Meilleurs Livres 2022 • Livres à prix réduits • Les lectures qui font du bien • Livres d'occasion • Journée mondiale de l'environnement : notre sélection Livres ...

... Livres formation professionnelle • Biographies et autobiographies • Livre Actualité, Politique et Société • Livre Histoire et Géographie • Livres d'Art • Livre Sciences Humaines • Meilleurs livres 2023 • Livre tourisme et voyage ...

... Le meilleur du livre en 2024 • Livre Saint-Valentin • Auteurs • Des chats et des hommes • Livres Mythologie • Les livres à lire une fois dans sa vie • Livres VO • Policiers thrillers polars • SF Fantasy fantastique • Livres pass culture ...

... Accessoires de lecture • Meilleurs livres 2025

Produits similaires

Dicobat visuel, dictionnaire illustré du bâtiment (5e édition) • Atlas Netter d'anatomie humaine • Éléments de physique nucléaire • Le corps n'oublie rien : Le cerveau, l'esprit, le corps dans la guérison du traumatisme ...

... Traité de construction horlogère • Anthropologie des violences faite aux femmes au XXIe siècle • La Terre entre nos mains • Biologie des croyances - comment affranchir la puissance de la conscience, de la matière et des miracles ...

... Anatomie à colorier Netter (3e édition) • Microbiologie de Prescott • Dicobat - dictionnaire général du bâtiment (10e édition) • Technologies des voitures électriques

Réservez en ligne &
retirez en magasin sous 2h

Livraison gratuite en
magasin dès le lendemain

Paiement sécurisé en 3 ou
4 fois sans frais par carte bancaire

Retours gratuits
sous 30 jours

Réseaux sociaux

Newsletter

Service clients

Numéro cristal : 09 86 86 02 93

Nos conseillers ont réponse à tout, enfin presque.
Contactez-les du lundi au samedi de 8h à 19h.