Formal development of programs and proofs
| Permalink: | http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:90/Holdings |
|---|---|
| Ostali autori: | Dijkstra, Edsger W. (Editor) |
| Vrsta građe: | Knjiga |
| Impresum: |
London :
Addison-Wesley Publishing Company, Inc,
1990.
|
| Izdanje: | 1. izd |
Središnja knjižnica - Udžbenici
| Signatura: |
5376 |
|---|---|
| Primjerak 12854 |
Dostupno |
Zavod za automatiku i računalno inženjerstvo - ZARI
| Signatura: |
C-2641 |
|---|---|
| Primjerak c-2641 |
Dostupno |