Computer Aided Verification
Ed Brinksma, Kim G. Larsen
₹4,400
Publisher
Books from Springer
New, genuine Springer titles, delivered free across India.
Page 265 of 1,389
Computer Aided Verification
Kim G. Larsen, Arne Skou
₹5,690
Computer Aided Verification
Gregor Von Bochmann, David K. Probst
₹5,657
Computer Aided Verification
Costas Courcoubetis
₹5,697
Computer Aided Verification
David L. Dill
₹5,622
Computer Aided Verification
Pierre Wolper
₹5,606
Computer Aided Verification
Rajeev Alur, Thomas Henzinger
₹5,618
Computer Aided Verification
Alan J. Hu, Moshe y. Vardi
₹5,376
Computer Aided Verification
E. Allen Emerson, A. Prasad Sistla
₹4,411
Computer Aided Verification
Tayssir Touili, Byron Cook, Paul Jackson
₹5,452
Computer Aided Verification
Ganesh Gopalakrishnan, Shaz Qadeer
₹5,768
Computer Aided Verification
Viktor Kunčak Rupak Majumdar
₹3,067
Computer Algebra
₹2,928
Computer Algebra Recipes
Richard H. Enns, George C. McGuire
₹5,666
Computer Algebra Recipes
Richard H. Enns, George C. McGuire
₹5,637
Computer Algebra and Parallelism
Richard E. Zippel
₹5,499
Computer Algebra in Scientific Computing
Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr
₹5,542
Computer Algebra in Scientific Computing
Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr
₹5,559
Computer Algebra in Scientific Computing
Matthew England François Boulier, Evgenii V. Vorozhtsov Timur M. Sadykov
₹3,292
Computer Algebra with LISP and REDUCE
F. Brackx, D. Constales
₹9,298
Computer Analysis of Images and Patterns
André Gagalowicz, Wilfried Philips
₹4,901
Computer Analysis of Images and Patterns
Nicolai Petkov, Michel A. Westenberg
₹4,911
Computer Analysis of Images and Patterns
Gerald Sommer, Kostas Daniilidis, Josef Pauli
₹5,057
Computer Analysis of Images and Patterns
Franc Solina, Ales Leonardis
₹5,384
