Formal development of programs and proofs
| Permalink: | http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:90/Similar |
|---|---|
| Ostali autori: | Dijkstra, Edsger W. (Editor) |
| Vrsta građe: | Knjiga |
| Impresum: |
London :
Addison-Wesley Publishing Company, Inc,
1990.
|
| Izdanje: | 1. izd |
APA stil citiranja
Dijkstra, E. W. (1990). Formal development of programs and proofs: Formal development of programs and proofs (1. izd.). London: Addison-Wesley Publishing Company, Inc.
Chicago stil citiranjaDijkstra, Edsger W. Formal development of programs and proofs: Formal development of programs and proofs. 1. izd. London: Addison-Wesley Publishing Company, Inc, 1990.
MLA stil citiranjaDijkstra, Edsger W. Formal development of programs and proofs: Formal development of programs and proofs. 1. izd. London: Addison-Wesley Publishing Company, Inc, 1990.