Passer au contenu
Mon compte
Wishlist
Panier 00:00
Panier 00:00

Introduction à la spécification

Le Pitch
Ce livre d'Henri Habrias, professeur à l'Université Paris-Sud, propose une approche claire et complète de la spécification des logiciels. L'auteur aborde les concepts fondamentaux de la spécification formelle, les méthodes de modélisation et de vérification, ainsi que les outils et langages utilisés dans ce domaine. Un ouvrage essentiel pour les étudiants en informatique et les professionnels du secteur. Afficher moinsAfficher plus

Introduction à la spécification

Indisponible
Sélectionnez la condition
Indisponible
Etre averti(e) de la disponibilité

Le Pitch

Ce livre d'Henri Habrias, professeur à l'Université Paris-Sud, propose une approche claire et complète de la spécification des logiciels. L'auteur aborde les concepts fondamentaux de la spécification formelle, les méthodes de modélisation et de vérification, ainsi que les outils et langages utilisés dans ce domaine. Un ouvrage essentiel pour les étudiants en informatique et les professionnels du secteur. Afficher moinsAfficher plus

Détails du livre

Titre complet
Introduction à la spécification
Format
Broché
Publication
01 avril 1993
Pages
347
Taille
2.2 x 24 x 16.1 cm
Poids
655
ISBN-13
9782225827686
Livré entre : 24 juillet - 27 juillet
Disponible chez le fournisseur
Impression à la demande
Expédition immédiate
Chez vous entre :
Les délais de livraison ont tendance à s'accélérer ces dernières semaines, le temps indiqué peut être plus court que prévu. Les délais de livraison ont tendance à s'allonger ces dernières semaines, le temps indiqué peut être plus long que prévu.
Livraison gratuite (FR et BE) à partir de 20,00 € de livres d'occasion
Retour GRATUIT sous 14 jours.
Image to render

Revendez-le sur notre application!

Aller plus loin

Vous pouvez également aimer

Récemment consultés