Deductive program design

Deductive program design
Details
- OL Work ID
- OL18333596W
Subjects
Electronic data processingDistributed processingCongressesSymbolic and mathematical LogicSystem designElectronic data processing, distributed processingLogic, symbolic and mathematical