Da: liu xing, Nanjing, JS, Cina
EUR 53,79
Quantità: 1 disponibili
Aggiungi al carrellopaperback. Condizione: New. Paperback. Pub Date :2006-11-01 Pages: 563 Publisher: Electronic Industry Press Summary: This book proposes a framework for the analysis of the syntax of the programming language. operating and semantic nature. based on the framework called typed -calculus mathematics system. The calculus main features function and other quantifiable values ??a notation. and an equation logic for expression evaluation of a set of rules. The most simple system of the book is called algebra. a system of equatio.