.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
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Da: liu xing, Nanjing, JS, Cina
paperback. 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. Codice articolo CB073219
Quantità: 1 disponibili