VLISP-A-Verfied-Implementation-of-Scheme 180,30 EUR*

Details

  • Kategorie: Diverse Bücher
  • Preis: 180,30 EUR*
  • Lieferzeit: Versandfertig in 1 - 2 Werktagen
  • Marke: Springer US
  • EAN: 9781461359913
  • Händler: Amazon.de
    Amazon.de
Zum Angebot 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 proof was based on the Clinger-Rees denotational ...