High integrity Ada: the SPARK approach
Harlow, England [u.a.]: Addison-Wesley, 1997
Monographie, Gedruckte Ressource
- XVI, 368 S. ; 1 CD-ROM
Zugriff:
Ermittle Ausleihstatus...
Titel: |
High integrity Ada: the SPARK approach
|
---|---|
Verantwortlichkeitsangabe: | John Barnes |
Autor/in / Beteiligte Person: | Barnes, John G. P. |
Veröffentlichung: | Harlow, England [u.a.]: Addison-Wesley, 1997 |
Medientyp: | Monographie |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XVI, 368 S. ; 1 CD-ROM |
ISBN: | 0201175177 |
Sonstiges: |
|