3 Электронные книги Mitchell Wand
Joshua D. Guttman & Mitchell Wand: VLISP A Verified Implementation of Scheme
The VLISP project showed how to produce a comprehensively verified implemen- tation for a programming language, namely Scheme [4, 15). Some of the major elements in this verification were: * The …
PDF
английский
DRM
€165.39
Daniel P. Friedman & Mitchell Wand: Essentials of Programming Languages
A new edition of a textbook that provides students with a deep, working understanding of the essential concepts of programming languages, completely revised, with significant new material.This book …
PDF
английский
DRM
€218.29
Daniel P. Friedman & Mitchell Wand: Essentials of Programming Languages, third edition
…
EPUB
английский
DRM
€98.87
