The social marketplace for new and used books.

Get started

Learn to sell
Learn to buy
Buy textbooks
Sign up
Buy a giftcard
For the authors

Support

Help
Track a shipment
Terms of use
Privacy policy
Cookies policy

Company

About us
Work with us
Give feedback
Categories

Contact us

Fast delivery with

Safe payments by

Visa
Mastercard
Vipps
Klarna

© 2026 Bookis AS

English

Constraint Solving over Multi-Valued Logics : Application to Digital Circuits

Paperback • 2002 • Norwegian Bokmål

Constraint Solving over Multi-Valued Logics : Application to Digital Circuits

By Francisco Azevedo

0 Ratings • 0.0 of 5

‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌

About the book

Systems are subject to faults in their components, affecting their overall behaviour. In a "black-box" system, such faults only become apparent in the output when appropriate inputs are given, which poses a number of satisfaction and optimization problems regarding both testing and diagnosing. This work addresses such problems developing models with multi-valued logics that it formalizes and generalizes to multiple faults. Such logics extend Boolean logic by encoding dependencies on faults, thus...Show more

Book details

ISBN

9781586033040

Publisher

Amsterdam, NLD : IOS Press

Published year

2002

Language

Norwegian Bokmål

Original title

Constraint Solving over Multi-Valued Logics : Application to Digital Circuits

Format

Paperback

Shippping and returns

Shipping

Used books are shipped by the seller. Expected delivery after package is sent is 2-4 days.

Returns

Contact the seller after delivery.

Reviews · 0

0 Ratings • 0.0 of 5

You might also like

Logical Methods The Art of Thinking Abstractly and Mathematically

Logical Methods The Art of Thinking Abstractly and Mathematically

Roger Antonsen

Digital Control Engineering

Digital Control Engineering

M. Sami Fadali

Doing Philosophy

Doing Philosophy

Oxford University) Williamson Timothy (Wykeham Professor of Logic

Can You Solve My Problems?

Can You Solve My Problems?

Alex Bellos

Introduction to Logic

Introduction to Logic

SJ Gensler Harry J.

The Tools of Mathematical Reasoning

The Tools of Mathematical Reasoning

Tamara J. Lakins

Introduction To Mathematical Logic (Extended Edition)

Introduction To Mathematical Logic (Extended Edition)

Norway) Walicki Michal (Univ Of Bergen

The logic manual

The logic manual

Volker Halbach

Digital Design Using VHDL

Digital Design Using VHDL

William J. Dally

Putting Logic in its Place

Putting Logic in its Place

David Christensen

Logic

Logic

Dan Cryan

Universal Methods of Design

Universal Methods of Design

Bella Martin

Digital Design with CPLD Applications and VHDL

Digital Design with CPLD Applications and VHDL

Dueck, Robert

Digital Systems Principles and Applications

Digital Systems Principles and Applications

Ronald J. Tocci

The Logic Book

The Logic Book

Merrie Bergmann

Fundementals of digital logic with VHDL design

Fundementals of digital logic with VHDL design

Stepthen brown

Formal logic - a guided tour

Formal logic - a guided tour

Herman Ruge Jervell

Computers in Context

Computers in Context

Bo Dahlbom

Fundamentals of Digital Logic with VHDL Design

Fundamentals of Digital Logic with VHDL Design

Stephen D. Brown

Logic and Computer Design Fundamentals

Logic and Computer Design Fundamentals

M. Morris Mano

Digital System Design with VHDL

Digital System Design with VHDL

Mark Zwolinski

Introduction to computing systems: from bits & gates to c & beyond

Introduction to computing systems: from bits & gates to c & beyond

Yale University) Baaij C.J.W. (J.S.D. candidate

Deductive Logic

Deductive Logic

Warren Goldfarb

Logic and Philosophy

Logic and Philosophy

Paul Tidman

Problem Solving and Programming Concepts

Problem Solving and Programming Concepts

Maureen Sprankle

The Languages of Logic - An Introduction to Formal Logic

The Languages of Logic - An Introduction to Formal Logic

Samuel Guttenplan

New Ideas in Optimization

New Ideas in Optimization

David Corne

Theory of Constraints

Theory of Constraints

Goldratt, Eliyahu M.

The Logic Of Failure

The Logic Of Failure

Dietrich Dorner

Mathematical fallacies and paradoxes

Mathematical fallacies and paradoxes

Bryan Bunch

Schaum's outline of theory and problems of discrete mathematics

Schaum's outline of theory and problems of discrete mathematics

Lipschutz,Seymour

Fuzzy Sets and Fuzzy Logic

Fuzzy Sets and Fuzzy Logic

George J. Klir

Fuzzy Thinking

Fuzzy Thinking

Bart Kosko

Deontic Logic in Computer Science

Deontic Logic in Computer Science

John-Jules Ch. Meyer

Labyrinths of Reason Paradox, Puzzles and the Frailty of Knowledge

Labyrinths of Reason Paradox, Puzzles and the Frailty of Knowledge

William Poundstone

Formal Logic

Formal Logic

Jeffrey, Richard C.

The Philosophy of Artificial Intelligence

The Philosophy of Artificial Intelligence

Margaret A. Boden

Modal Logic An Introduction

Modal Logic An Introduction

Brian F. Chellas