Autore: Luckham, David
Programming with Specifications. An Introduction to ANNA, a Language for Specifying ADA Programmes
Luckham, David - Verlag Gachnang & Springer, 1990
english text
top
Luckham, David - Verlag Gachnang & Springer, 1990
english text