1. ANNA, a language for annotating Ada programs :
پدیدآورنده : David C. Luckham ... [et al.].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Ada (Computer program language),ANNA (Computer program language)
رده :
QA76
.
73
.
A54
A56
1987
2. ANNA, a language for annotating Ada programs : reference manual
پدیدآورنده : David C. Luckham ... )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، ANNA )Computer program language(,، Ada )Computer program language(
رده :
QA
76
.
L4
v
.
260
3. ANNA : a language for annotating Ada programs : reference manual
پدیدآورنده : David C. Luckham...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Anna )Computer program language(,، Ada )Computer program language(
رده :
QA
76
.
L28
Vol
.
260
4. Libraries in society
پدیدآورنده : edited by David Gerard
کتابخانه: کتابخانه دانشکده روانشناسی و علوم تربیتی دانشگاه تهران (تهران)
موضوع : Libraries and society - Addresses, essays, lectures
رده :
Z
,
716
.
4
,.
L5
5. Polymer association structures :
پدیدآورنده : Magda A. El-Nokaly, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Emulsions, Congresses.,Liquid crystals, Congresses.
رده :
TP156
.
E6
A52
1987
6. Programming with specifications : an introduction to ANNA, a language for specifying Ada programs
پدیدآورنده : David Luckham,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : ANNA )Computer program language(,Ada )Computer program language(
رده :
QA
.
A54L83
76
.
73
1990
7. Programming with specifications : an introduction to ANNA, a language for specifying Ada programs
پدیدآورنده : Luckham, David C.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Anna )Computer program language(,، Ada )Computer program language(
رده :
QA
76
.
73
.
A54L83
1990
