Stepwise refinement of formal specifications based on logical formulae

from CO-OPN/2 specifications to Java programs

Verfasser / Beitragende:
par Giovanna Di Marzo Serugendo
Ort, Verlag, Jahr:
Lausanne : 1999
Beschreibung:
XII, 320 p. : ill. ; 21 cm
Format:
Buch (Hochschulschrift) (online)
ID: 143986600