Looks like you're in United States. You need a Worldwide address to shop on our Worldwide store. Go to our United States store to continue.
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Kobo empowers book lovers to read more.
Reinhard German, Kai-Steffen Hielscher, Udo R. Krieger
$52.49
Sébastien Destercke, Thierry Denoeux
$52.49
Reinhard Klette, Guan-Ling Lee, Ching-Hsien Hsu, Sheng-Lung Peng
$52.49
Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
$52.49
Sam Lindley, Conor McBride, Phil Trinder, Don Sannella
$52.49
Cláudia Nalon, Renate A. Schmidt
$68.19
Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
$52.49
Antonio Fernández Anta, Tomasz Jurdzinski, Miguel A. Mosteiro, Yanyong Zhang
$52.49
Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman
$52.49
Jose Julio Alferes, Guido Governatori, Paul Fodor, Dumitru Roman, Leopoldo Bertossi
$94.39
Federico Rossi, Stefano Piotto, Simona Concilio
$52.49
Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud
$41.99
Randy Goebel, Andreas Holzinger, Massimo Ferri, Vasile Palade
$52.49
Adam Day, Michael Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander Melnikov, Frances Rosamond
$52.49
Be the first to rate and review this book!
Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith, Edmund M. Clarke Jr.
$57.59
Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
$52.49
