Towards a Deductive Object-Oriented System
INTERNATIONAL JOURNAL OF COMPUTERS AND APPLICATIONS ; 20 , 2 ; 68-73
1998-01-01
6 pages
Article (Journal)
English
DDC: | 004.16 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Tracing Safety for Dependable Avionic Systems: An Object Oriented and Deductive Approach
British Library Conference Proceedings | 1998
|Tracing Safety for Dependable Avionic Systems: An Object Oriented and Deductive Approach
British Library Conference Proceedings | 2006
|British Library Online Contents | 2004
|Deductive Verification of Railway Operations
British Library Conference Proceedings | 2017
|Space optimization in deductive databases
TIBKAT | 1991
|