Programming with specifications: an introduction to ANNA, a language for specifying ADA programs
New York [u.a.]: Springer, 1990
Monographie, Gedruckte Ressource
- XVI, 416 S. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Programming with specifications: an introduction to ANNA, a language for specifying ADA programs
|
---|---|
Verantwortlichkeitsangabe: | David Luckham |
Autor/in / Beteiligte Person: | Luckham, David C. |
Verwandtes Werk: | |
Veröffentlichung: | New York [u.a.]: Springer, 1990 |
Medientyp: | Monographie |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XVI, 416 S. : graph. Darst. |
ISBN: | 3540972544; 0387972544 |
Schlagwort: |
|
Sonstiges: |
|