Formal development of programs and proofs
| Permalink: | http://skupni.nsk.hr/Record/ffzg.KOHA-OAI-FFZG:105171/Details |
|---|---|
| Ostali autori: | Dijkstra, Edsger (-) |
| Vrsta građe: | Knjiga |
| Jezik: | eng |
| Impresum: |
Reading, Mass. :
Addison-Wesley Publishing Co,
1990.
|
| LEADER | 00588nam a2200181ui 4500 | ||
|---|---|---|---|
| 003 | HR-ZaFF | ||
| 008 | 050414s1990 ||| |||||||||| ||eng|d | ||
| 999 | |c 105171 |d 105171 | ||
| 020 | |a 0201172372 | ||
| 035 | |a HR-ZaFF filL2156 | ||
| 040 | |a HR-ZaFF |b hrv |c HR-ZaFF |e ppiak | ||
| 245 | 0 | 0 | |a Formal development of programs and proofs / |c edited by Edsger W. Dijkstra. |
| 260 | |a Reading, Mass. : |b Addison-Wesley Publishing Co., |c 1990. | ||
| 300 | |a XIV, 242 str. ; |c 24 cm | ||
| 700 | 0 | |a Dijkstra, Edsger | |
| 942 | |b LIB |c KNJ |d FIL | K | 115 |h BA |i FOR |6 BA_FOR | ||
| 991 | |a fil12687 | ||
| 992 | |a 4564 |b LM |c 20050414 | ||