Formal specification and software development [monographie] |
| Auteur(s): | Bjorne, Dines (1937-....) Jones, Cliff B. (1944-....) |
| Langue: | anglais |
| Collection: | Prentice-Hall international series in computer science |
| Editeur, date d'édition: | Prentice-Hall International, Inc., 1982 |
| Ville(s) d'édition: | Englewood Cliffs, New Jersey (US), London (GB), New Delhi (IN) |
| ISBN: | 0-13-329003-4 |
| Classification MSC: | 68Q55 (2000) |
| Notes: | x ; index pp 497-501 ; 24 cm ; 501 p. |
| Thèmes: | computer programs, software compatibility, programmes informatiques, comptabilite |
| Localisation: | Ouvrage localisé fonds informatique - 1ère salle |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 68 BJO 82 | Disponible |