Verification, Model Checking, and Abstract Interpretation
Lenore D. Zuck, Paul D. Attie, Agostino Cortesi
₹5,662
Results for “Abstract Interpretation”
Showing 1–19 of 19 books
Verification, Model Checking, and Abstract Interpretation
VMCAI 2010 (2010 Madrid, Spain)
₹4,285
Verification, Model Checking, and Abstract Interpretation
Kedar S. Namjoshi, Andreas Podelski
₹3,171
Verification, Model Checking, and Abstract Interpretation
Ranjit Jhala, David Schmidt
₹5,609
Verification, Model Checking, and Abstract Interpretation
VMCAI 2008 (2008 San Francisco, Calif.)
₹2,299
Verification, Model Checking, and Abstract Interpretation
Agostino Cortesi
₹5,666
Verification, Model Checking, and Abstract Interpretation
Ulrich Koschorke
₹4,345
Verification, Model Checking, and Abstract Interpretation
Ruzica Piskac Constantin Enea
₹2,884
Verification, Model Checking, and Abstract Interpretation
Fritz Henglein, Sharon Shoham, Yakir Vizel
₹7,012
Verification, Model Checking, and Abstract Interpretation
Fritz Henglein, Sharon Shoham, Yakir Vizel
₹2,985
Verification, Model Checking, and Abstract Interpretation
Bernd Finkbeiner, Thomas Wies
₹6,997
Verification, Model Checking, and Abstract Interpretation
Barbara Jobstmann, K. Rustan M. Leino
₹4,326
Verification, Model Checking, and Abstract Interpretation
Viktor Kuncak, Andrey Rybalchenko
₹5,627
Verification, Model Checking, and Abstract Interpretation
K. Rustan M. Leino Barbara Jobstmann
₹3,904
Verification, Model Checking, and Abstract Interpretation
Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen
₹4,248
Verification, Model Checking, and Abstract Interpretation
Kenneth McMillan, Xavier Rival
₹4,236
Static Analysis of Software
Jean-Louis Boulanger, Jean-Louis Boulanger
₹4,819
Abramsky
S. Abramsky
₹4,054
Live Data Structures in Logic Programs
Anne Mulkers
₹5,492