VLISP A Verified Implementation of Scheme: A Special Issue of Lisp and Symbolic
164,14 €
The VLISP project undertook to provide a rigorous verification of a programming language. The aim was to show realism and comprehensiveness. The editors of VLISP have extracted reusable conclusions from the work at two, quite different levels.
Jetzt bei Ebay:
