The book is currently out of stock
A formal object specification technique using rule-based transformation of partial algebras
Authors
Book variant
1997Book purchase
The book is currently out of stock.
1997We have over a million books in stock
1997