লোডিং...
Programming with specifications: an introduction to ANNA, a language for specifying Ada programs
প্রধান লেখক: | |
---|---|
বিন্যাস: | Printed Book |
প্রকাশিত: |
New York, Springer Verlag
1990
|
মালা: | Texts and monographs in computer science
|
বিষয়গুলি: |
MG University
ডাক সংখ্যা: |
005.133 ADA N0 |
---|---|
প্রতিলিপি | বর্তমান অবস্থা অনুপলব্ধ |