Deductive program design
by M. Broy
Electronic data processingDistributed processingCongressesSymbolic and mathematical LogicSystem designElectronic data processing, distributed processingLogic, symbolic and mathematical
Writing a summary for young readers…
For young readers
Book data: Open Library