লোডিং...

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

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Luckham, David
বিন্যাস: Printed Book
প্রকাশিত: New York, Springer Verlag 1990
মালা:Texts and monographs in computer science
বিষয়গুলি:

MG University

হোল্ডিংসের বিবরণ MG University
ডাক সংখ্যা: 005.133 ADA N0
প্রতিলিপি বর্তমান অবস্থা অনুপলব্ধ