A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
Norman Rubin
Broschiertes Buch

A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design

Versandkostenfrei!
Versandfertig in über 4 Wochen
18,99 €
inkl. MwSt.
Jetzt bewerten
Weitere Ausgaben:
Gebundenes Buch Gebundenes Buch
PAYBACK Punkte
9 °P sammeln!
Bewertung
Produktdetails
Andere Kunden interessierten sich für