Looks like you're in United States. You need a Singapore address to shop on our Singapore store. Go to our United States store to continue.
An Introduction to Program Verification
Kobo empowers book lovers to read more.
Jorge Sousa Pinto, Maria João Frade, Simão Melo de Sousa, José Bacelar Almeida
S$ 50.57
Be the first to rate and review this book!
Michael Gelfond, Yulia Kahl
S$ 82.28
Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi
S$ 175.37
Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski
S$ 73.13
Martin Leucker, Camilo Rueda, Frank D. Valencia
S$ 73.13
Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
S$ 87.73
Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu
S$ 58.52
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
S$ 73.13
Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
S$ 73.13
Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao
S$ 87.73
Ahmed Bouajjani, Alexandra Silva
S$ 73.13
Wolfgang Faber, Gerhard Friedrich, Martin Gebser, Michael Morak
S$ 131.55
Christel Baier, Luís Caires
S$ 73.13
