Follow our Telegram channel to get notified instantly whenever new books are published.

Follow our Telegram channel to get notified instantly whenever new books are published.
Follow our Telegram channel to get notified instantly whenever new books are published.
Appel and Dockins are expert authors who have produced rigorous, foundational texts that are essential for any serious student of compiler technology and formal methods.