Programming with specifications : an introduction to ANNA, a language for specifying ADA programs

Programming with specifications an introduction to ANNA, a language for specifying ADA programs

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Luckham, David C. (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: New York u.a. Springer 1990
Schriftenreihe:Texts and monographs in computer science
Schlagworte:
Ada > Programmierung > Softwarespezifikation > ANNA
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:XVI, 416 S. : graph. Darst.
ISBN:3540972544
0387972544