منو
رکورد قبلیرکورد بعدی

" Formal methods in databases and software engineering : "


Document Type : BL
Record Number : 745444
Doc. No : b565393
Main Entry : V.S. Alagar ... (ed.) Publ. in collab. with the British Computer Society
Title & Author : Formal methods in databases and software engineering : : 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
Publication Statement : London Springer, 1993
Series Statement : Workshops in computing.
Page. NO : VI, 191 Seiten Diagramme 24 cm
ISBN : 0387198121
: : 3540198121
: : 9780387198125
: : 9783540198123
Notes : Literaturangaben
Contents : 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.
Subject : Database management -- Congresses.
Subject : Formal methods (Computer science) -- Congresses.
Subject : Software engineering -- Congresses.
LC Classification : ‭QA76.9.D3‬‭V735 1993‬
Added Entry : British Computer Society
: Vangalur S Alagar
copyhttps://lib.clisel.com/site/catalogue/745444
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟