Skip to content

Free delivery across India·Cash on delivery·Delivered in 3–7 days

Search books by title, author, ISBN or publisher

Search books by title, author, ISBN or publisher

All subjects Arts, Film & Photography Business & Economics Science & Mathematics Computers & Internet Society & Social Sciences Publishers Track order

Home
Authors
Alex Groce

Author

Books by Alex Groce

Showing 1–1 of 1 books

Model Checking Software
Alex Groce, Madanlal Musuvathi
₹5,701

An online bookshop for academic, research and professional books. Every book is new, ordered from Atlantic Books for your order, and delivered free across India in 3–7 days.

Shop

All subjects
Publishers
Search the catalogue

Help

Track your order
Delivery
Returns and refunds
Cancellations
Questions
Contact us

About

About BooksBajar
Terms of sale
Privacy

BooksBajar
12, Rajan Street, Main Road, KK Nagar, Madurai, Tamil Nadu 625020, India
+91 90874 10993 · support@booksbajar.com
Support: Monday to Saturday, 10:00 to 18:00 IST

Payment: cash on delivery

© 2026 BooksBajar