A lattice-theoretical basis for program refinement

Författare
Joakim von Wright
Genre
theses
Språk
Engelska
Förlag År Ort Om boken ISBN
Åbo akademi 1990 Finland, Åbo v, 140 sidor.