Logic in Computer Science: Modelling and Reasoning about Systems

Logic in Computer Science: Modelling and Reasoning about Systems

Logic in Computer Science: Modelling and Reasoning about Systems

Arithmetic and Logic in Computer Systems

Digital Logic With an Introduction to Verilog and FPGA-Based Design

Linear Logic in Computer Science

Practical Formal Software Engineering: Wanting the

An Introduction to Non-Classical Logic: From If to Is

The Architecture of Computer Hardware and System Software: An Information Technology Approach

System Requirements Engineering A SysML Supported

Logics for Computer Science: Classical and Non-Classical

Engineering Software Products An Introduction to Modern Software Engineering

Digital Logic Design Tutorial and Laboratory Exercises

Systems of Logic

An Introduction to Practical Formal Methods Using Temporal Logic

Real-Time Systems: Formal Specification and Automatic Verification

Logic Colloquium 2006

Epistemic Logic for AI and Computer Science

Digital Logic Circuit Analysis and Design

Elements of Logical Reasoning

Digital Logic Circuit Analysis and Design

Computer Science Logic - by Zoltán Ésik (Paperback)

Logic: A Complete Introduction

Digital Logic for Computing (Paperback)

Logic for Computer Scientists

Digital Logic Design: A Rigorous Approach

Logic for Computer Science and Artificial Intelligence

A Mathematical Introduction to Logic

Mathematical Logic for Computer Science

Logic for Computer Science Foundations of Automatic Theorem Proving, Second Edition

PACKAGE: Logic and Computer Design Fundamentals

Lecture Notes in Computer Science: First-Order Dynamic Logic (Paperback)

Logic for Computer Science Foundations of Automatic Theorem Proving, Second Edition

Logic Language Information and Computation (Paperback)

Introduction to Formal Logic

Program Logics for Certified Compilers

Program Logics for Certified Compilers

Pre-Owned Logic and Language Models for Computer Science (Paperback) 0130654876 9780130654878

Pre-Owned Lecture Notes in Computer Science: Computer Science Logic: 11th International Workshop Csl 97 Annual Conference of the Eacsl Aarhus Denmark August 23-29 1997 Selected Papers (Paperback)

An Introduction to Logic Hardcover

PROGRAMMABLE LOGIC...(LL)-W/ACCESS

Handbook of Logic in Computer Science Volume 5: Logic and Algebraic Methods

Logic Programming: 25th International Conference Iclp 2009 Pasadena Ca Usa July 14-17 2009 Proceedings (Paperback)

Fundamentals of Digital Logic with Verilog Design

Introduction to Logic Design

Synthese Library Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic Book 4 (Hardcover)

Arithmetic and Logic in Computer Systems

An Introduction to Mathematical Logic

A First Course in Mathematical Logic and Set Theory