Sign up to our emails and be the first to know about new releases, special offers and more.
Become a Readings Member to make your shopping experience even easier. Sign in or sign up for free!
Hello Readings Member! Go to the member centre to view your orders, change your details, or view your lists, or sign out.
Australian Book Retailer of the Year 2021
Jayadev Misra
This book addresses the problem of developing distributed applications on wide-area networks, such as the internet and world wide web.
Available to order, ships in 7-14 daysAvailable to order
Set theory, logic, discrete mathematics, and fundamental algorithms will always remain useful for computing professionals and need to be understood by students who want to succeed. This textbook explains a…
Available to order, ships in approx 2 weeksAvailable to order
A program execution is understood as a single thread of control - sequential executions of actions that are chosen according to some scheduling policy. As a consequence, it is possible…
Available to order, ships in approx 4 weeksAvailable to order
Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to the science of software development, concurrency and program verification. This book presents the essence…
Presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006.