Refinement calculus

Permalink: http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:35356
Glavni autor: Back, Ralph-Johan (-)
Ostali autori: Wright, J. von (Joakim), 1955- (-)
Vrsta građe: Knjiga
Jezik: eng
Impresum: New York : Springer, c1998.
Nakladnička cjelina: Graduate texts in computer science (Springer-Verlag New York Inc.)
Predmet:
Online pristup: Publisher description
Table of contents only