Cover of Introduction a la specification

An edition of Introduction a la specification (1993)

Introduction a la specification

By Henri Habrias

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

0 Want to read0 Currently reading0 Have read

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