KIRJAUDU
ANNA A Language for Annotating Ada Programs : Reference Manual
51,10 €
Springer
Sivumäärä: 148 sivua
Asu: Pehmeäkantinen kirja
Painos: 1987 ed.
Julkaisuvuosi: 1987, 15.07.1987 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 260
Sivumäärä: 148 sivua
Asu: Pehmeäkantinen kirja
Painos: 1987 ed.
Julkaisuvuosi: 1987, 15.07.1987 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 260
ANNA is a language extension of ADA to include facilities for formally specifying the intended behavior of ADA programs. It is designed to meet a perceived need to augment ADA with precise machine-processable annotations so that well established formal methods of specification and documentation can be applied to ADA programs.
Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Tilaustuote
Tämän tuotteen tilaamme kustantajalta tai tukkurilta varastoomme. Saatavuusarvio on tuotekohtainen. Lähetämme toimitusvahvistuksen heti, kun tuote on toimitettu varastoltamme rahdinkuljettajalle.Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Myymäläsaatavuus
Näytä kaikki tuotetiedot
ISBN:
9783540179801
Aihealue: