ISBN: 9787115493514 - 编程原本 (1 risultati)

paperback. Condizione: New. Paperback. Pub Date: 2019-08-01 Pages: 298 Language: Chinese Publisher: People Post Press book will be a rigorous mathematical definition. axiomatic and deductive method is applied to programming. to discuss the program and ensure that they work properly abstract mathematics the link between theory. The procedures in this book theory. based on these algorithms written procedures. as well as description operator .…