A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
Prijzen vanaf
VERGELIJK ALLE AANBIEDERS
(1)
18,00
Uitgelicht
|
18,00 |
Naar shop
|
Beschrijving
A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
Vergelijk aanbieders (1)
Shop
Prijs
Verzendkosten
Totale prijs
Beschrijving
(0)
A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
Productspecificaties
| EAN |
|
|---|---|
| Maat |
|
Prijzen voor het laatst bijgewerkt op:
Gerelateerde producten
Uitgelichte Keuze
18,00
