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.
Moller and Struth are world-class computer scientists who have authored the essential, industry-standard guides for mastering formal methods and concurrent systems design.