VLISP A Verified Implementation of Scheme
Prijzen vanaf
VERGELIJK ALLE AANBIEDERS
(1)
Bol
The VLISP project showed how to produce a comprehensively verified implemen tation for a programming language, namely Scheme [4, 15). This implementation t.ranslates Scheme into an intermediate-level "byte code" language, which is interpreted by a virtual machine.
Lees meer
145,00
Uitgelicht
|
145,00 |
Naar shop
|
Beschrijving
Bol
The VLISP project showed how to produce a comprehensively verified implemen tation for a programming language, namely Scheme [4, 15). This implementation t.ranslates Scheme into an intermediate-level "byte code" language, which is interpreted by a virtual machine.
Vergelijk aanbieders (1)
Shop
Prijs
Verzendkosten
Totale prijs
Beschrijving
(1)
The VLISP project showed how to produce a comprehensively verified implemen tation for a programming language, namely Scheme [4, 15). This implementation t.ranslates Scheme into an intermediate-level "byte code" language, which is interpreted by a virtual machine.
Productspecificaties
| EAN |
|
|---|---|
| Maat |
|
Prijzen voor het laatst bijgewerkt op:
Gerelateerde producten
Uitgelichte Keuze
145,00
