the calculus of computation,decision procedures with applications to verification
aaron r. bradley
the calculus of computation,decision procedures with applications to verification
Aaron R. Bradley (Author) · springer-verlag new york inc · Physical Book
$ 75.78
$ 79.99
You save: $ 4.21
Choose the list to add your product or create one New List
Go to My Wishliststhe calculus of computation,decision procedures with applications to verification
aaron r. bradley
Do you have a question about the book? Login to be able to add your own question.
