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 proo …
PDF
อังกฤษ
DRM
€166.29
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 p …
PDF
อังกฤษ
DRM
€217.64
Daniel P. Friedman & Mitchell Wand: Essentials of Programming Languages, third edition
…
EPUB
อังกฤษ
DRM
€99.25
