The Calculus of Computation
Decision Procedures with Applications to Verification
Автор:
Aaron R. Bradley, Zohar Manna
Наличност:
Външен склад
Изпращаме след 5-8 дни
51.65
€
101.01 лв
This textbook introduces computational logic from the foundations of first-order logic to state-of-t...
