We have over a million books in stock

Bookbot
The book is currently out of stock

Abstract state machines, alloy, B and Z

Authors

Parameters

ISBN
9783642118104
Publisher
Springer

Categories

Book variant

2010, paperback

Book purchase

We’ll notify you via email once we track it down.