.publisher:Publishing House of Electronics Industry.description: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 -c
"synopsis" may belong to another edition of this title.
Seller: liu xing, Nanjing, JS, China
paperback. Condition: 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. Seller Inventory # CB073219