mitchell wand

Grid   List

  1. Essentials of Programming Languages, third edition
    Essentials of Programming Languages, third edition
    Daniel P. Friedman
    MIT Press
    Ebook
    Sofort lieferbar
    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.
    91,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. VLISP A Verified Implementation of Scheme
    VLISP A Verified Implementation of Scheme
    Joshua D. Guttman
    Springer US
    Ebook
    Sofort lieferbar
    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 pr...
    149,79 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. VLISP A Verified Implementation of Scheme
    VLISP A Verified Implementation of Scheme
    Mitchell Wand
    Springer US, Springer New York
    Taschenbuch
    Bezug 11-15
    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 pro...
    184,13 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>