60,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 1-2 Wochen
payback
30 °P sammeln
  • Broschiertes Buch

The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.

Produktbeschreibung
The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.