The book is currently out of stock
Logic based program synthesis and transformation
Authors
Book variant
1998Book purchase
The book is currently out of stock.
1998We have over a million books in stock
1998We have over a million books in stock
1998