Mathematical theory of program correctness

Permalink: http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:27095/Details
Glavni autor: de Bakker, Jaco (-)
Vrsta građe: Knjiga
Jezik: eng
Impresum: Prentice-Hall, Inc, 1980.
Izdanje: 1. izd
Nakladnička cjelina: International Series in Computer Science / Prentice-Hall Inc..
LEADER 00557nam a2200193uu 4500
008 s1980 xxu |||||||||| ||eng|d
020 |a 0135621321 
035 |a HR-ZaFER 31459 
040 |a HR-ZaFER  |b hrv  |c HR-ZaFER 
041 |a eng 
100 1 |9 28775  |a de Bakker, Jaco 
245 |a Mathematical theory of program correctness. 
250 |a 1. izd. 
260 |b Prentice-Hall, Inc.,  |c 1980. 
300 |a xvi, 505 str. ;  |c 25 cm. 
490 |a International Series in Computer Science / Prentice-Hall Inc.. 
942 |b BKS  |c K 
990 |a 29392 
999 |c 27095  |d 27095