Area della Ricerca di Padova
Corso Stati Uniti,4 35127 Padova (ITALY) - Tel.+39 049 8295611 - Fax.+39 049 8295671

1. Towards a formal description of Ada /   Publication: Berlin : Springer-Verlag, 1980 . XII, 630 p. ; 25 cm. Date:1980 Availability: No items available: Checked out (1), Actions:
2. Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings /   Publication: Berlin : Springer-Verlag, 1980 . XI, 566 p. : 25 cm. Date:1980 Availability: No items available: Checked out (1), Actions:
3. The Vienna development method : the Meta-langauge /   Publication: Berlin : Springer-Verlag, 1978 . XV, 382 p. ; 25 cm. Date:1978 Availability: No items available: Checked out (1), Actions: