کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابAn introduction to programming with specifications : a mathematical approach
پدیدآورنده: Kubiak, Ryszard
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Programming )Mathematics(
رده :
QA
76
.
6
.
K82
1991


Programming with specifications : an introduction to ANNA, a language for specifying Ada programs
پدیدآورنده: David Luckham
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Anna )Computer program language(,، Ada )Computer program language(
رده :
QA
76
.
73
.
A54L83
1990


Programming with specifications : an introduction to ANNA, a language for specifying Ada programs
پدیدآورنده: / David Luckham
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: ANNA (Computer program language),Ada (Computer program language)
رده :
QA76
.
73
.
A54L83
1990

