Program verification using Ada / Andrew D. McGettrick

By:

Contributor(s):

Resource type: Ressourcentyp: BuchBookLanguage: English Series: Cambridge computer science texts ; 13Publisher: Cambridge : Cambridge Univ. Press, 1982Description: XII, 345 SISBN:

Subject(s):

DDC classification:

Contents:

Literaturverz. S. 335 - 339

Action note:

Call number: Grundsignatur: 82 A 1742PPN: PPN: 021912505

Holdings
Item type	Home library	Shelving location	Call number	Status	Barcode
Magazinbestand ausleihbar	Bibliothek Campus Süd	Geschlossenes Magazin	82 A 1742	Available	52164967090

Total holds: 0

Archivierung prüfen 20221111 DE-640 1 pdager