عنوان
پدید آورنده
موضوع
رده
QA76.9.D3 V735 1993
QA76
.
9
.
D3
V735
1993
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0387198121
(Number (ISBN
3540198121
(Number (ISBN
9780387198125
(Number (ISBN
9783540198123
NATIONAL BIBLIOGRAPHY NUMBER
Number
b565393
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal methods in databases and software engineering :
General Material Designation
[Book]
Other Title Information
proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992
First Statement of Responsibility
V.S. Alagar ... (ed.) Publ. in collab. with the British Computer Society
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
London Springer
Date of Publication, Distribution, etc.
1993
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
VI, 191 Seiten Diagramme 24 cm
SERIES
Series Title
Workshops in computing.
GENERAL NOTES
Text of Note
Literaturangaben
CONTENTS NOTE
Text of Note
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.
TOPICAL NAME USED AS SUBJECT
Database management -- Congresses.
Formal methods (Computer science) -- Congresses.
Software engineering -- Congresses.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
D3
Book number
V735
1993
PERSONAL NAME - PRIMARY RESPONSIBILITY
V.S. Alagar ... (ed.) Publ. in collab. with the British Computer Society
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
British Computer Society
Vangalur S Alagar
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
