The use of formal specification of software / H. K. Berg, ed. lt., W. K. Giloi, ed. lit.
Language: eng.Country: Germany.Publication: Berlin : Springer-Verlag, 1980Description: IV, 388 p. : il. ; 25 cmISBN: 3-540-10442-9.Series: Informatik-Fachberichte, 36Classification: CIUL-250Subject - Topical Name: Semântica | Programação, Metodologia| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
| Monografia | Biblioteca NOVA FCT Depósito 1 | Não Ficção | CIUL-250 FCT 84204 (Browse shelf(Opens below)) | 1 | Available | 84325 |
There are no comments on this title.
Log in to your account to post a comment.
