Higher order logic and harware verification

Higher order logic and harware verification

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Melham, T. (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Cambridge Cambridge University Press c1993
Σειρά:	Cambridge Tracts in Theoretical Computer Science 31
Θέματα:	HARWARE VERIFICATION HIGHER ORDER LOGIC HOL ΕΠΕΑΕΚ

Παρόμοια τεκμήρια

Introduction to HOL A theorem proving environment for higher order logic
Έκδοση: (1993)

Logic synthesis and verification algorithms
ανά: Hatchtel, Gary D., κ.ά.
Έκδοση: (1996)

Computer-aided verification Proceedings.2nd International Conference, CAV'90 New Brunswick,NJ, June 18-21,1990
Έκδοση: (1991)

From logic to logic programming
ανά: Doets, Kees
Έκδοση: (1994)

Partial-Order methods for the verification of concurrent systems An approach to the state-explosion problem
ανά: Godefroid, Patrice
Έκδοση: (1996)

Foundations of inductive logic programming
ανά: Nienhuys-Cheng, Shan-Hwei, κ.ά.
Έκδοση: (1997)

Temporal verification of reactive systems Safety
ανά: Manna, Zohar, κ.ά.
Έκδοση: (1995)

Ordered Sets An Introduction with Connections from Combinatorics to Topology /
ανά: Schröder, Bernd
Έκδοση: (2016)

Autonomous model-based diagnosis agents
ανά: Schroeder, Michael
Έκδοση: (1998)

Proof Theory for Fuzzy Logics
ανά: Metcalfe, George, κ.ά.
Έκδοση: (2009)

On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory
Έκδοση: (2016)

Structures in logic and computer science A selection of essays in honor of A. Ehrenfeucht
Έκδοση: (1997)

Introduction to circuit complexity A uniform approach
ανά: Vollmer, Heribert
Έκδοση: (1999)

Learning DCOM
ανά: Thai, Thuan L.
Έκδοση: (1999)

Linux application development
ανά: Johnson, Michael K., κ.ά.
Έκδοση: (1998)

Advanced low-power digital circuit techniques
ανά: Abu-Khater, Issam S., κ.ά.
Έκδοση: (1997)

Spread spectrum systems with commercial applications
ανά: Dixon, Robert C.
Έκδοση: (1994)

Universal wireless personal communications
ανά: Prasad, Ramjee
Έκδοση: (1998)

Non-commutative Multiple-Valued Logic Algebras
ανά: Ciungu, Lavinia Corina
Έκδοση: (2014)

Parallel Programming in Open MP
ανά: Chandra, Rohit, κ.ά.
Έκδοση: (2001)

Parallel Programming Techniques and applications using networked workstations and parallel computers
ανά: Wilkinson, Barry, κ.ά.
Έκδοση: (1999)

Broadband Communications
ανά: Kumar, Balaji
Έκδοση: (1998)

DSP First A Multimedia Approach
ανά: McClellan, James H., 1947-, κ.ά.
Έκδοση: (1998)

Modern Control Theory
ανά: Brogan, William L.
Έκδοση: (1991)

Quality is still free Making quality certain in uncertain times
ανά: Crosby, Philip B.
Έκδοση: (1996)

Lessons in Estimation Theory for signal Processing, Communications and Control
ανά: Mendel, Jerry M.
Έκδοση: (1995)

The cache memory book
ανά: Handy, Jim
Έκδοση: (1998)

Matrix perturbation theory
ανά: Sun, Ji-guang, κ.ά.
Έκδοση: (1990)

Testability concepts for digital ICs The Macrotest approach
ανά: Beenker, F. P., κ.ά.
Έκδοση: (1995)

Advanced Techniques for embedded systems design adn test
Έκδοση: (1998)

Online Algorithms The state of the art [Proceedings} of the Workshop 1996
Έκδοση: (1998)

Numerical linear algebra for high-performance computers
ανά: Dongarra, Jack J., κ.ά.
Έκδοση: (1998)

Virtual Archaeology Great discoveries brought to life through virtual reality
Έκδοση: (1997)

Java threads
Έκδοση: (1999)

Inside the Java virtual machine
ανά: Venners, Bill
Έκδοση: (1998)

Εισαγωγή στα συστήματα βάσεων δεδομένων / C. J. Date ; μετάφραση Τάκης Άλβας.
ανά: Date, C. J.
Έκδοση: (1996)

Automata-theoretic and datalog-based solutions of monadic second-order logic evaluation problems over structures of bounded-treewidth
ανά: Καλαντζή, Λαμπρινή, κ.ά.
Έκδοση: (2011)

Ordered Sets
ανά: Harzheim, Egbert
Έκδοση: (2005)

Electron beam testing technology
Έκδοση: (1993)

Practical Genetic Algorithms
ανά: Haupt, Randy L., κ.ά.
Έκδοση: (1998)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών