عنوان
پدید آورنده
موضوع
رده
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
