Axiomatising the logic of computer programming
| Permalink: | http://skupnikatalog.nsk.hr/Record/fer.KOHA-OAI-FER:2395/Similar |
|---|---|
| Glavni autor: | Goldblatt, Robert (-) |
| Vrsta građe: | Knjiga |
| Jezik: | eng |
| Impresum: |
Berlin :
Springer Verlag,
1982.
|
| Izdanje: | 1. izd |
| Nakladnička cjelina: |
Lecture Notes in Computer Science ;
130 |
APA stil citiranja
Goldblatt, R. (1982). Axiomatising the logic of computer programming: Axiomatising the logic of computer programming (1. izd.). Berlin: Springer Verlag.
Chicago stil citiranjaGoldblatt, Robert. Axiomatising the logic of computer programming: Axiomatising the logic of computer programming. 1. izd. Berlin: Springer Verlag, 1982.
MLA stil citiranjaGoldblatt, Robert. Axiomatising the logic of computer programming: Axiomatising the logic of computer programming. 1. izd. Berlin: Springer Verlag, 1982.