Construction et vérification de programmes
Enregistré dans:
Auteur principal : | |
---|---|
Autres auteurs : | |
Format : | Livre |
Langue : | français |
Titre complet : | Construction et vérification de programmes / Roland C. Backhouse,...; trad. par René Quiniou |
Publié : |
Paris, London :
Masson
, 1989 Prentice Hall |
Description matérielle : | 276 p. |
Collection : | Manuels informatiques Masson |
Traduction de : | Program construction and verification |
Sujets : |
Notes : | Index |
---|---|
Bibliographie : | Index |
ISBN : | 2-225-81660-3 |