137,250원
Higher Order Logic and Hardware Verification, Cambridge University Press
60,630원
Programming with Higher-Order Logic Hardcover, Cambridge University Press
23,000원
(영문도서) Higher-Order Logic and Type Theory Paperback, Cambridge University Press, English, 9781108986908
106,000원
Properties and Propositions: The Metaphysics of Higher-Order Logic Hardcover, Cambridge University Press, English, 9781108840477
105,320원
Extensions of First-Order Logic Paperback, Cambridge University Press
196,840원
Graph Structure and Monadic Second-Order Logic Hardcover, Cambridge University Press
25,700원
(영문도서) Higher-Order Evidence and Calibrationism Paperback, Cambridge University Press, English, 9781009124195
153,210원
Higher Order Operational Techniques in Semantics Hardcover, Cambridge University Press
24,300원
(영문도서) Classical First-Order Logic Paperback, Cambridge University Press, English, 9781108987004
29,500원
Computability and Logic Paperback, Cambridge University Press
110,880원
Hardware and Software: Verification and Testing Paperback, Springer
93,630원
Ambiguity and Logic, Cambridge University Press
122,360원
Higher Operads Higher Categories Paperback, Cambridge University Press
48,930원
Language Mind and Logic Paperback, Cambridge University Press
125,550원
Computability and Logic Hardcover, Cambridge University Press
68,300원
"Logic Induction and Sets", Cambridge University Press
164,920원
Practical Design Verification Hardcover, Cambridge University Press
192,520원
Verification and Validation in Scientific Computing Hardcover, Cambridge University Press
120,230원
Reactive Systems: Modelling Specification and Verification Hardcover, Cambridge University Press
114,910원
Modal Logic Paperback, Cambridge University Press
301,280원
Logic Synthesis and Verification Paperback, Springer
94,080원
Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference Hvc..., Springer
31,180원
Alfred Tarski: Life and Logic Paperback, Cambridge University Press
51,060원
Higher Calculus, Cambridge University Press
43,610원
New Constitutionalism and World Order Paperback, Cambridge University Press
313,580원
Hardware/Software Co-Design and Co-Verification Paperback, Springer
85,780원
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference Hcv ..., Springer
163,080원
Solving Higher-Order Equations: From Logic to Programming Paperback, Birkhauser
74,640원
Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference Hvc..., Springer
39,180원
Elementary Logic, Cambridge University Press
Order Conflict and Violence Hardcover, Cambridge University Press
124,990원
Aperiodic Order, Cambridge University Press
169,800원
Logic Induction and Sets Hardcover, Cambridge University Press
232,960원
Advances in Hardware Design and Verification Hardcover, Springer
Law and Order in Sung China Paperback, Cambridge University Press
245,280원
Verification Plans: The Five-Day Verification Strategy for Modern Hardware Verification Languages Paperback, Springer
Logic Synthesis and Verification Algorithms Paperback, Springer
40,300원
Logic Part 1 Paperback, Cambridge University Press
111,980원
Sequential Logic Testing and Verification Paperback, Springer
122,080원
Introduction to Formal Hardware Verification Paperback, Springer
40,600원
Constitution-Making and Transnational Legal Order Paperback, Cambridge University Press
60,640원
Set Theory Logic and Their Limitations Paperback, Cambridge University Press
Formal Hardware Verification: Methods and Systems in Comparison Paperback, Springer
78,340원
Isabelle/Hol: A Proof Assistant for Higher-Order Logic Paperback, Springer
11,370원
Logic for Laughs: Higher Order Thinking Skills Paperback, Melinda E. Clougherty
32,550원
Cambridge English Business 5 Higher, Cambridge University Press
81,920원
Logic and Computation:Interactive Proof with Cambridge Lcf, Cambridge University Press
141,120원
Higher Recursion Theory, Cambridge University Press
117,600원
Logic for Mathematicians, Cambridge University Press
234,080원
Verification by Error Modeling: Using Testing Techniques in Hardware Verification Paperback, Springer
26,580원
Husserl and Realism in Logic and Mathematics, Cambridge University Press
Logic Colloquium 2007, Cambridge University Press
361,760원
Concurrency Verification:Introduction to Compositional and Non-Compositional Methods, Cambridge University Press
Notes on Logic and Set Theory, Cambridge University Press
147,890원
Computational Logic and Human Thinking Hardcover, Cambridge University Press
56,280원
Alfred Tarski: Life and Logic Hardcover, Cambridge University Press
189,280원
Solving Higher-Order Equations: From Logic to Programming Hardcover, Birkhauser
30,840원
Constructing Global Order, Cambridge University Press
25,180원
The Cambridge Companion to Medieval Logic Paperback, Cambridge University Press
Hardware/Software Co-Design and Co-Verification Hardcover, Springer
119,160원
Arithmetic Optimization Techniques for Hardware and Software Design Hardcover, Cambridge University Press
54,640원
Compliance Quantified: An Introduction to Data Verification Paperback, Cambridge University Press
45,360원
Logic Logic and Logic Paperback, Harvard University Press
50,380원
An Introduction to Probability and Inductive Logic Paperback, Cambridge University Press
Phenomenology Logic and the Philosophy of Mathematics Paperback, Cambridge University Press
65,960원
Leibniz''s Philosophy of Logic and Language Paperback, Cambridge University Press
27,810원
Modal Logic: An Introduction Paperback, Cambridge University Press
63,840원
Lectures in Logic and Set Theory:"Volume 1 Mathematical Logic", Cambridge University Press
Peirce Pragmatism and the Logic of Scripture Paperback, Cambridge University Press
31,900원
The Metaphysics of Logic Paperback, Cambridge University Press
22,600원
(영문도서) Logic and Information Paperback, Cambridge University Press, English, 9781009466738
95,740원
Epistemic Logic for AI and Computer Science Paperback, Cambridge University Press
32,970원
The Evolution of Logic Paperback, Cambridge University Press
43,930원
Logic of Statistical Inference Paperback, Cambridge University Press
The Logic of Provability Paperback, Cambridge University Press
38,290원
China the United States and Global Order Paperback, Cambridge University Press
The Domestic Analogy and World Order Proposals Paperback, Cambridge University Press
58,520원
Order Legitimacy and Wealth in Ancient States Paperback, Cambridge University Press
134,380원
Scalable Hardware Verification with Symbolic Simulation Paperback, Springer
144,480원
Current Trends in Hardware Verification and Automated Theorem Proving Paperback, Springer
256,480원
Verification Plans: The Five-Day Verification Strategy for Modern Hardware Verification Languages Hardcover, Springer
96,900원
Higher Index Theory Hardcover, Cambridge University Press
100,880원
The Cambridge Companion to Medieval Logic, Cambridge University Press
35,100원
Pedagogy in Higher Education, Cambridge University Press
50,140원
Logic Programming:Operational Semantics and Proof Theory, Cambridge University Press
185,480원
Generating Hardware Assertion Checkers: For Hardware Verification Emulation Post-Fabrication Debugging and On-Line Monitoring Paperback, Springer
127,680원
Informal Order and the State in Afghanistan, Cambridge University Press
54,580원
Christian Humanism and the Puritan Social Order, Cambridge University Press
Criminal Law Tradition and Legal Order Hardcover, Cambridge University Press
Pure Inductive Logic Hardcover, Cambridge University Press
The Logic of Infinity, Cambridge University Press
97,880원
Advances in Linear Logic, Cambridge University Press
103,820원
International Order in Diversity, Cambridge University Press