-
-20%
ABSTRACTION REFINEMENT FOR LARGE SCALE MODEL CHECKING
0Original price was: ₹11,299.00.₹9,039.00Current price is: ₹9,039.00.This book explores abstraction refinement techniques for large-scale model checking. It presents advanced methods to handle the complexity of verifying complex systems through systematic abstraction and refinement approaches.
-
-35%
AN INTRODUCTION TO FORMAL LANGUAGES AND AUTOMATA, 2/E
0Original price was: ₹6,313.00.₹4,104.00Current price is: ₹4,104.00.A comprehensive introduction to formal languages and automata theory. This second edition provides clear explanations of key concepts in automata, computability, and formal language design.
-
-25%
Approximation Algorithms for Traveling Salesman Problems
0Original price was: ₹16,438.00.₹12,328.00Current price is: ₹12,328.00.A comprehensive guide to approximation algorithms for the traveling salesman problem (TSP). Written by leading experts Vera Traub and Jens Vygen, this Cambridge University Press publication covers both classical and modern approaches to solving one of computer science’s most famous computational challenges.
-
-25%
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.A comprehensive exploration of proof complexity generators and their role in mathematical logic. This volume examines the fundamental structures underlying proof systems and computational complexity theory.
