The book is currently out of stock
The ASM workbench - a tool environment for computer aided analysis and validation of abstract state machine models
Authors
Book variant
2001Book purchase
The book is currently out of stock.
2001We have over a million books in stock
2001