Skip to content
Vinony

Deductive program design

by M. Broy

Cover of Deductive program design

No description available.

Electronic data processingDistributed processingCongressesSymbolic and mathematical LogicSystem designElectronic data processing, distributed processingLogic, symbolic and mathematical