Formal development of programs and proofs
| Permalink: | http://skupni.nsk.hr/Record/ffzg.KOHA-OAI-FFZG:105171 |
|---|---|
| Ostali autori: | Dijkstra, Edsger (-) |
| Vrsta građe: | Knjiga |
| Jezik: | eng |
| Impresum: |
Reading, Mass. :
Addison-Wesley Publishing Co,
1990.
|
Knjižnica FFZG - Zatvoreno spremište
| Signatura: |
PB 195879 |
|---|---|
| Primjerak fil12687 |
Dostupno |