automated reasoning: 6th international joint conference, ijcar 2012, manchester, uk, june 26-29, 2012, proceedings
Gramlich, Bernhard (Author) · springer · Physical Book
£ 64.23
Choose the list to add your product or create one New List
Go to My WishlistsDo you have a question about the book? Login to be able to add your own question.