model checking software: 19th international spin workshop, oxford, uk, july 23-24, 2012. proceedings
David Parker (Illustrated by) · Alastair Donaldson (Illustrated by) · Springer · Paperback
£ 76.50
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.