Stepwise refinement of formal specifications based on logical formulae
from CO-OPN/2 specifications to Java programs
Gespeichert in:
Verfasser / Beitragende:
par Giovanna Di Marzo Serugendo
Ort, Verlag, Jahr:
Lausanne :
1999
Beschreibung:
XII, 320 p. : ill. ; 21 cm
Format:
Buch (Hochschulschrift) (online)
Online Zugang: