Autore: Luckham, David
Programming with Specifications. An Introduction to ANNA, a Language for Specifying ADA Programmes
Luckham, David - Verlag Gachnang & Springer, 1990
testo in inglese
top
Hai dimenticato la tua password?
inserisci il tuo email/login qui sotto e riceverai la password all'indirizzo indicato.
Luckham, David - Verlag Gachnang & Springer, 1990
testo in inglese