Introduction to HOL A theorem proving environment for higher order logic

Introduction to HOL A theorem proving environment for higher order logic

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Gordon, M. J. (Επιμελητής έκδοσης), Melham, T. F. (Επιμελητής έκδοσης)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Cambridge Cambridge University Press c1993
Θέματα:	HIGHER ORDER LOGIC HOL ΕΠΕΑΕΚ

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

Higher order logic and harware verification
ανά: Melham, T.
Έκδοση: (1993)

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

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

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

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

Introduction to Boolean Algebras
ανά: Halmos, Paul, κ.ά.
Έκδοση: (2009)

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

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

Introduction to computer system performance evaluation
ανά: Kant, K., κ.ά.
Έκδοση: (1992)

Introduction to algorithms
ανά: Cormen, Thomas H., κ.ά.
Έκδοση: (1990)

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

Introduction to digital mobile communication
ανά: Akaiwa, Yoshihiko
Έκδοση: (1997)

Introduction to Parallel Algorithms and Architectures:Arrays, Trees, Hypercubes
ανά: Leighton, F. T.
Έκδοση: (1992)

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)

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

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

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

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

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

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

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)

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

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

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

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

Isabelle/HOL A Proof Assistant for Higher-Order Logic /
ανά: Nipkow, Tobias, κ.ά.
Έκδοση: (2002)

A primer in Petri Net design
ανά: Reisig, Wolfgang
Έκδοση: (1992)

Microsoft Frontpage 98 at a glance
ανά: Nelson, Stephen L.
Έκδοση: (1997)

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)

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