Systematic software development using VDM
| Permalink: | http://skupnikatalog.nsk.hr/Record/kon.ZAG01000202410 |
|---|---|
| Glavni autor: | Jones, Cliff B. (-) |
| Vrsta građe: | Knjiga |
| Jezik: | eng |
| Impresum: |
Englewood Cliffs [etc.] :
Prentice/Hall International,
1986.
|
| Predmet: |
Končar - institut za elektrotehniku
| Signatura: |
III/9169 |
|---|---|
| Primjerak #1 |
Dostupno |