Computer logic

361 titles from eBooks.com

New Releases

Language

Ebook Format

DRM

Logic in Computer Science: Modelling and Reasoning about Systems

Logic in Computer Science (2nd ed.)

Modelling and Reasoning about Systems

Cambridge University Press (2004)
US$52.00

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

Springer Berlin Heidelberg (2007)
US$47.35

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

Logic Synthesis for Compositional Microprogram Control Units
Springer Berlin Heidelberg (2008)
US$132.17

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

Introduction to the Theory of Programming Languages
Springer London (2010)
US$34.23

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

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

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...
Springer Berlin Heidelberg (2005)
US$99.12

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...
Springer Berlin Heidelberg (2007)
US$62.77

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...
Springer Berlin Heidelberg (2007)
US$73.79

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

Springer Berlin Heidelberg (2006)
US$99.12

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

Springer Berlin Heidelberg (2007)
US$62.77

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