Programming with specifications : an introduction to ANNA, a language for specifying Ada programs / David Luckham

Von:

Luckham, David C, 1934- [aut]

Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Texts and monographs in computer scienceVerlag: New York, NY ; Heidelberg [u.a.] : Springer, 1990Beschreibung: XVI, 416 S. : graph. DarstISBN:

0387972544
3540972544

Schlagwörter:

Ada
Programmierung
Softwarespezifikation
ANNA Programmiersprache
Computer software
Specifications
Programming (Electronic computers)
ANNA (Computer program language)
Ada (Computer program language)

MSC: MSC: *68N15 | 68Q60 | 68-01RVK: RVK: ST 250LOC-Klassifikation:

QA76.73.A54

Call number: Grundsignatur: 90 A 4665PPN: PPN: 019328982

Exemplare ( 1 )

Exemplare
Medientyp	Heimatbibliothek	Standort	Signatur	Status	Barcode
Magazinbestand ausleihbar	Bibliothek Campus Süd	Geschlossenes Magazin	90 A 4665	Verfügbar	46231543090

Anzahl Vormerkungen: 0