Guidelines for the design of large modular scientific libraries in Ada interim report
Gespeichert in:
Format: | Buch |
---|---|
Sprache: | English |
Veröffentlicht: |
Teddington, Middlesex
1982
|
Schriftenreihe: | National Physical Laboratory <Teddington>: [NPL report / DITC]
14 |
Schlagworte: | |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
-
Low-Ada, an Ada validation tool
von: Wichmann, Brian A.
Veröffentlicht: (1989) -
A proposal for standard basic functions in Ada
von: Kok, J., et al.
Veröffentlicht: (1984) -
Guidelines for the design of large modular scientific libraries in Ada second interim report
Veröffentlicht: (1983) -
A proposal for a feasibility study on the design of software interfaces in large systems
von: Wichmann, Brian A., et al.
Veröffentlicht: (1987) -
Verifying modular programs in HOL
von: Wright, J.
Veröffentlicht: (1994)