Á lódáil...

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

Sonraí Bibleagrafaíochta
Príomhúdar: Luckham, David
Formáid: Printed Book
Foilsithe: New York, Springer Verlag 1990
Sraith:Texts and monographs in computer science
Ábhair:

MG University

Sonraí sealbhúcháin ó MG University
Gairmuimhir: 005.133 ADA N0
Cóip Live Status Unavailable