Passer au contenu
Mon compte
Wishlist
Panier 00:00

Introduction aux méthodes formelles

Audience : Adulte - Haut niveau
Le Pitch
Ce manuel d'introduction aux méthodes formelles présente les bases théoriques et pratiques de cette discipline informatique. Les auteurs y expliquent les principes des langages formels, de la logique propositionnelle et des automates, ainsi que leur utilisation dans la spécification et la vérification de systèmes. Des exemples concrets et des exercices permettent au lecteur de mettre en pratique les concepts abordés. Afficher moinsAfficher plus

Introduction aux méthodes formelles

58,00 €
Sélectionnez la condition
58,00 €

Le Pitch

Ce manuel d'introduction aux méthodes formelles présente les bases théoriques et pratiques de cette discipline informatique. Les auteurs y expliquent les principes des langages formels, de la logique propositionnelle et des automates, ainsi que leur utilisation dans la spécification et la vérification de systèmes. Des exemples concrets et des exercices permettent au lecteur de mettre en pratique les concepts abordés. Afficher moinsAfficher plus

Détails du livre

Titre complet
Introduction aux méthodes formelles (2° Ed.)
Editeur
Format
Broché
Publication
21 juin 1970
Audience
Adulte - Haut niveau
Pages
351
Taille
24 x 16 x 1.6 cm
Poids
540
ISBN-13
9782746201408

Auteur

Livré entre : 14 décembre - 19 décembre
Livraison gratuite (FR) à partir de 35,00 € de livres neufs
Retour GRATUIT sous 14 jours.
Image to render

Revendez-le sur notre application!

Aller plus loin

Vous pouvez également aimer

Récemment consultés