von
Preis unbekannt
Includes supplementary material: sn.pub/extras
Dines Bjørner
Constraint artificial intelligence intelligence logic model checking object-oriented programming programming