Comprendre les méthodes formelles : panorama et outils logiques / Jean-François Monin,... ; préface de Gérard Huet,...

Date :

Editeur / Publisher : Paris : Masson , impr. 1996, cop. 1996

Type : Livre / Book

Langue / Language : français / French

ISBN : 2-225-85304-5

Catalogue Worldcat

EAN : 9782225853043

Langages formels

Calcul formel -- Informatique

Logique mathématique

Théorie des ensembles

Logiciels -- Développement

Génie logiciel

Classification Dewey : 670

Huet, Gérard (1947-.... ; informaticien) (Préfacier, etc. / author of introd)

Collection : Collection technique et scientifique des télécommunications / publ. sous les auspices du Centre national d'études des télécommunications (CNET) et de l'Ecole nationale supérieure des télécommunications (ENST) ; sous la dir. de P. Lapostolle,. / [Lieux divers] : [éd. divers] , 1978-[2010?]