عنوان
پدید آورنده
موضوع
رده
QA76.9.D3 V735 1993
QA76
.
9
.
D3
V735
1993
کتابخانه
محل استقرار
شابک
شابک
0387198121
شابک
3540198121
شابک
9780387198125
شابک
9783540198123
شماره کتابشناسی ملی
شماره
b565393
عنوان و نام پديدآور
عنوان اصلي
Formal methods in databases and software engineering :
نام عام مواد
[Book]
ساير اطلاعات عنواني
proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992
نام نخستين پديدآور
V.S. Alagar ... (ed.) Publ. in collab. with the British Computer Society
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
London Springer
تاریخ نشرو بخش و غیره
1993
مشخصات ظاهری
نام خاص و کميت اثر
VI, 191 Seiten Diagramme 24 cm
فروست
عنوان فروست
Workshops in computing.
يادداشت کلی
متن يادداشت
Literaturangaben
یادداشتهای مربوط به مندرجات
متن يادداشت
Transaction Logic: An (Early) Expose.- Aggregate Operations in the Information Source Tracking Method.- An Incremental Concept Formation Approach for Learning from Databases.- The Tecton Proof System.- Modeling Time in Information Systems.- A Unified Framework for Database Specification: Functional Approach.- Using VDM Within an Object-Oriented Framework.- Software Engineering Environments - What Do We Want?.- Efficient Deduction and Induction: Key to the Success of Data-Intensive Knowledge-Base Systems.- On Querying Temporal Deductive Databases.- Intuitionistic Interpretation of Deductive Databases with Incomplete Information.- Author Index.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Database management -- Congresses.
موضوع مستند نشده
Formal methods (Computer science) -- Congresses.
موضوع مستند نشده
Software engineering -- Congresses.
رده بندی کنگره
شماره رده
QA76
.
9
.
D3
نشانه اثر
V735
1993
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
V.S. Alagar ... (ed.) Publ. in collab. with the British Computer Society
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
British Computer Society
مستند نام اشخاص تاييد نشده
Vangalur S Alagar
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
