tools and algorithms for the construction and analysis of systems: 13th international conference, tacas 2007 held as part of the joint european confer (in English)
grumberg, orna
tools and algorithms for the construction and analysis of systems: 13th international conference, tacas 2007 held as part of the joint european confer (in English)
Grumberg, Orna (Author) · springer · Physical Book
$ 104.20
$ 109.99
You save: $ 5.79
Choose the list to add your product or create one New List
Go to My Wishliststools and algorithms for the construction and analysis of systems: 13th international conference, tacas 2007 held as part of the joint european confer (in English)
grumberg, orna
Do you have a question about the book? Login to be able to add your own question.
