Mathematical methods of specification and synthesis of software systems '85
proceedings of the international Spring school, Wendisch-Rietz, GDR, April 22-26, 1985
Gespeichert in:
Verfasser / Beitragende:
ed. by W. Bibel and K.P. Jantke
Ort, Verlag, Jahr:
Berlin [etc.] :
Springer,
1986
Beschreibung:
245 p. ; 25 cm
Format:
Buch (Kongress)