Advanced Formal Verification

Advanced Formal Verification

Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts describe the underlying methods of today's verification tools and describe various scenarios from industrial practice. In the first pa...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Drechsler, Rolf (Editor)
Format: Electronic eBook
Language:English
Published: Boston, MA : Springer US, 2004.
Subjects:
Philosophy.
Computers.
Computer science > Mathematics.
Computer-aided engineering.
Electrical engineering.
Philosophy, general.
Computer-Aided Engineering (CAD, CAE) and Design.
Computing Methodologies.
Electrical Engineering.
Theory of Computation.
Symbolic and Algebraic Manipulation.
Online Access:Full Text via HEAL-Link

Internet

Full Text via HEAL-Link

ΒΚΠ - Πατρα: ALFd

Holdings details from ΒΚΠ - Πατρα: ALFd
Call Number: 330.01 BAU
Copy 1 Available

ΒΚΠ - Πατρα: BSC

Holdings details from ΒΚΠ - Πατρα: BSC
Call Number: 330.01 BAU
Copy 2 Available
Copy 3 Available

Similar Items