The book is currently out of stock
Logic based program synthesis and transformation
Authors
Book variant
2002Book purchase
The book is currently out of stock.
2002We have tens of thousands of books in stock.
2002We have tens of thousands of books in stock.
2002