Retour

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

  • Livres programmation
  • Collectif

Format

Broché

Date de parution

21/06/1970

Editeur

Lavoisier-Hermès

Présentation des bases théoriques et des fondements mathématiques de la spécification formelle. Revue des techniques générales de la spécification, du développement modulaire de logiciel par raffinements progressifs et de la preuve formelle. Explication de la mise en oeuvre des techniques mathématiques sur des outils effectifs. Etude des systèmes de transition et de la logique temporelle.

Auteur(s) Collectif
EAN 9782746201408
Catégorie produits informatique_et_reseaux
Rayon Livre|Savoirs|Informatique|Informatique Professionnels et Entreprises|Programmation et langages
Titre de l'œuvre Introduction aux méthodes formelles
Format Broché
Date de parution 21/06/1970
Nombre de pages 352
ISBN 2-7462-0140-2, 978-2-7462-0140-8
Edition 2e éd.
Distributeur Lavoisier diffusion
Dimensions (cm) 16 x 24 x 1.6
Editeur Lavoisier-Hermès
Poids du produit 540 g
Libellé Introduction aux méthodes formelles (2° Ed.) (Broché)
Thème CLIL Théorie

Des millions de
références en vente

Cumulez des Tickets
retrait gratuit en magasin

Tous vos produits
à prix E.LECLERC

Paiements
100% sécurisés

5 %

-5% si retrait en magasin soit 55,10€

Expédié sous 5 jours

Livraison

Livraison en magasin  OFFERTE   dans les  points de retrait éligibles   à sélectionner avant le paiement  - Prévue entre 24/09/26 et 25/09/26

Livraison à domicile standard  à partir de 3€   - Prévue entre 25/09/26 et 26/09/26

Livraison en point relais express dès 13h  à partir de 4,90€   - Prévue entre 24/09/26 et 25/09/26

Livraison à domicile express avant 18h  à partir de 7,90€   - Prévue le 24/09/26

Neuf

Vendu par

E.Leclerc

1