An edition of Introduction a la specification (1993)
By Henri Habrias
Publish Date
1993
Publisher
Masson
Language
fre
Pages
-
Description:
subjects: Computer software, Development, Computer programming, Calcul propositionnel, Logique premier ordre, Système formel, Spécification formelle, Spécification logiciel, Logiciels, Développement, Programmation (Informatique), Contrats et spécifications, Génie logiciel