Parece que estás en Estados Unidos. Para comprar en nuestra librería de Chile necesitas una dirección Chile. Ve a nuestra librería de Estados Unidos para continuar.
An Introduction to Program Verification
Kobo anima a los amantes de los libros a leer más.
Jorge Sousa Pinto, Maria João Frade, Simão Melo de Sousa, José Bacelar Almeida
$38.850
¡Sé la primera persona en valorar y reseñar este libro!
Michael Gelfond, Yulia Kahl
$63.278
Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi
$134.848
Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski
$56.180
Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
$67.418
Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu
$44.943
Nicola Fanizzi, Kathryn B. Laskey, Fernando Bobillo, Thomas Lukasiewicz, Paulo C.G. Costa, Michael Pool, Matthias Nickles, Kenneth J. Laskey, Claudia d'Amato, Rommel N. Carvalho
$56.180
Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
$56.180
Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao
$67.418
Ahmed Bouajjani, Alexandra Silva
$56.180
Wolfgang Faber, Gerhard Friedrich, Martin Gebser, Michael Morak
$101.133
Christel Baier, Luís Caires
$56.180
