Formal development of programs and proofs
| Permalink: | http://skupni.nsk.hr/Record/ffzg.KOHA-OAI-FFZG:105171/Similar |
|---|---|
| Ostali autori: | Dijkstra, Edsger (-) |
| Vrsta građe: | Knjiga |
| Jezik: | eng |
| Impresum: |
Reading, Mass. :
Addison-Wesley Publishing Co,
1990.
|
APA stil citiranja
Dijkstra, E. (1990). Formal development of programs and proofs: Formal development of programs and proofs. Reading, Mass.: Addison-Wesley Publishing Co.
Chicago stil citiranjaDijkstra, Edsger. Formal development of programs and proofs: Formal development of programs and proofs. Reading, Mass.: Addison-Wesley Publishing Co, 1990.
MLA stil citiranjaDijkstra, Edsger. Formal development of programs and proofs: Formal development of programs and proofs. Reading, Mass.: Addison-Wesley Publishing Co, 1990.