Deductive and Declarative Programming
P. PadawitzPeter Padawitz
Broschiertes Buch

Deductive and Declarative Programming

Versandkostenfrei!
Versandfertig in 1-2 Wochen
55,99 €
inkl. MwSt.
PAYBACK Punkte
28 °P sammeln!
The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.