|
|
|
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:
|
|
