Formal Methods for Open Object-Based Distributed Systems Programming and Software Engineering
Gilles Barthe
Paperback
Not Available
Join our community for the latest bookish news, reading recommendations, exclusive opening extracts, author events and competitions. It\'s all free. And enter a monthly draw to win a £50 Gift Card. See past winners here