-
ABSTRACTION REFINEMENT FOR LARGE SCALE MODEL CHECKING
0Original price was: ₹11,299.00.₹9,039.00Current price is: ₹9,039.00. -
AN INTRODUCTION TO FORMAL LANGUAGES AND AUTOMATA, 2/E
0Original price was: ₹6,313.00.₹4,104.00Current price is: ₹4,104.00. -
Approximation Algorithms for Traveling Salesman Problems
0Original price was: ₹16,438.00.₹12,328.00Current price is: ₹12,328.00. -
Proof Complexity Generators: 497 (London Mathematical Society Lecture Note Series, Series Number 497)
0Original price was: ₹5,918.00.₹4,438.00Current price is: ₹4,438.00.
