Retour au catalogue
Introduction aux méthodes formelles (2e éd. rev. et augm.) Jean-François Monin
ISBN-13
9782746201408
Éditeur
Hermès science publications (Paris)
Date de publication
01/01/2000
Résumé
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
0 annonce en vente actuellement
