Computer logic

127 titles from eBooks.com
Logic in Computer Science: Modelling and Reasoning about Systems

Logic in Computer Science

Modelling and Reasoning about Systems

US$53.99

Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and...

The Calculus of Computation: Decision Procedures with Applications to Verification

The Calculus of Computation

Decision Procedures with Applications to Verification

US$59.99

This textbook introduces computational logic from the foundations of first-order logic to...

Logic Synthesis for Compositional Microprogram Control Units
US$149.00

This book presents design methods for and hardware amount optimization for compositional...

Introduction to the Theory of Programming Languages
US$34.99

This book sets unites the various formalisms that define a programming language: ‘small steps’...

Logic for Computer Science and Artificial Intelligence
Wiley (2013)
US$197.10

Logic and its components (propositional, first-order, non-classical) play a key role in Computer...

A Theory of Distributed Objects: Asynchrony - Mobility - Groups - Components

A Theory of Distributed Objects

Asynchrony - Mobility - Groups - Components

Denis Caromel, Luca Cardelli and 1 more...
US$129.00

Distributed and communicating objects are becoming ubiquitous. In global, Grid and Peer-to-Peer...

Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers

Hardware and Software, Verification and Testing

Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers

Eyal Bin, Avi Ziv and 1 more...
US$79.99

The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa...

Computational Logic in Multi-Agent Systems: 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers

Computational Logic in Multi-Agent Systems

7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers

Katsumi Inoue, Ken Satoh and 1 more...
US$89.99

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on...

Software Engineering 3: Domains, Requirements, and Software Design

Software Engineering 3

Domains, Requirements, and Software Design

US$129.00

The art, craft, discipline, logic, practice, and science of developing large-scale software products...

Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers

Runtime Verification

7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers

US$89.99

Runtime veri?cation is a recent direction in formal methods research, which is complementary to such...