header
cover

1 - ADA from the beginning - Second edition
Skansholm, Jan (1949-)   /   Booth, Shirley (Trad.)

Cote : [77 SKA 94]

cover

2 - Formal specification and software development
Bjorne, Dines (1937-....)   /   Jones, Cliff B. (1944-....)

Cote : [68 BJO 82]