Skip to content
Same-day shipping
(Mon–Sat)
·
Extra 9% off: use coupon code
9% off: code
GIG9
·
Free delivery, 3–5 days
Books
Bajar
Search books by title, author, ISBN or publisher
Search
Search books by title, author, ISBN or publisher
Search
Categories
Business, Finance & Economics
Fiction & Literature
Science, Tech & Medical
Politics, Policy & Government
Textbooks & Study Material
Publishers
Track order
Home
/
Authors
/
Nikolaj Björner
Author
Books by Nikolaj Björner
Automated Deduction -- Cade-23
Nikolaj Björner, Viorica Sofronie-Stokkermans
₹5,669
Home
Categories
Wishlist
Cart
Account
