Cover Image

QR Code

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
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:	View fulltext via EzAccess

Similar Items

Software Tools for the Simulation of Electrical Systems : Theory and Practice /
by: Kumar, L. Ashok,, et al.
Published: (2020)

Electrical engineering : fundamentals /
by: Hacker, Viktor,, et al.
Published: (2020)

Computer and communication engineering : first International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25-27, 2018, proceedings /
Published: (2019)

Bird's engineering mathematics /
by: Bird, J. O.,
Published: (2021)

High-voltage engineering : theory and practice /
by: Abdel-Salam, Mazen,
Published: (2018)

Internet infrastructure : networking, web services, and cloud computing /
by: Fox, Richard, 1964-, et al.
Published: (2018)

Systems engineering : principles and practice /
by: Kossiakoff, Alexander, 1914-2005,, et al.
Published: (2020)

Power electronics : circuit analysis and design /
by: Batarseh, Issa,, et al.
Published: (2018)

Fundamentals of power system economics /
by: Kirschen, Daniel Sadi.
Published: (2018)

Process control fundamentals : analysis, design, assessment, and diagnosis /
by: Rengaswamy, Raghunathan,, et al.
Published: (2020)

Wireless power transfer for electric vehicles and mobile devices /
by: Rim, Chun T., 1963-, et al.
Published: (2017)

The impact of service oriented architecture adoption on organizations /
by: Niknejad, Naghmeh,, et al.
Published: (2019)

Cybersecurity fundamentals a real-world perspective /
by: Thakur, Kutub.
Published: (2020)

Postharvest biology and nanotechnology /
by: Paliyath, Gopinadhan,, et al.
Published: (2019)

Legal theory and the media of law /
by: Vesting, Thomas,
Published: (2018)

Game design workshop : a playcentric approach to creating innovative games /
by: Fullerton, Tracy,
Published: (2019)

Malware analysis and detection engineering : a comprehensive approach to detect and analyze modern malware /
by: Mohanta, Abhijit,, et al.
Published: (2020)

Learning malware analysis : explore the concepts, tools, and techniques to analyze and investigate Windows malware /
by: Monnappa K A,
Published: (2018)

Food process engineering and technology /
by: Berk, Zeki,
Published: (2018)

Communication systems principles using MATLAB /
by: Leis, John W.,
Published: (2018)

Basics of game design /
by: Moore, Michael E.
Published: (2016)

Office 2019 all-in-one for dummies /
by: Weverka, Peter,
Published: (2019)

Hands-on network forensics : investigate network attacks and find evidence using common network forensic tools /
by: Jaswal, Nipun,
Published: (2019)

Thermodynamics problem solving in physical chemistry : study guide and map /
by: Murphy, Kathleen E., Ph. D.,
Published: (2020)

Hands-on cryptography with python : leverage the power of python to encrypt and decrypt data. /
by: Bowne, Samuel,
Published: (2018)

Digital business and e-commerce management /
by: Chaffey, Dave, 1963-, et al.
Published: (2019)

Designing Computer-Based Learning Materials /
by: Clarke, Alan,
Published: (2018)

Mastering malware analysis : the complete malware analyst's guide to combating malicious software, APT, cybercrime, and loT attacks /
by: Kleymenov, Alexey,, et al.
Published: (2019)

Internet of things for architects : architecting IoT solutions by implementing sensors, communication infrastructure, edge computing, analytics, and security /
by: Lea, Perry,
Published: (2018)

Power systems analysis illustrated with MATLAB and ETAP /
by: Madhusudan, Shertukde Hemchandra,
Published: (2019)

E-learning and the science of instruction : proven guidelines for consumers and designers of multimedia learning /
by: Clark, Ruth Colvin,, et al.
Published: (2016)

Building virtual reality with Unity and SteamVR, /
by: Murray, Jeff W.,
Published: (2020)

Applying big data analytics in bioinformatics and medicine /
Published: (2018)

Healthcare information systems challenges of the new millennium /
by: Armoni, Adi, 1959-
Published: (2000)

Progress in Functional Manufacturing Technologies III Special topic volume with invited peer reviewed papers only.
Published: (2013)

Medical informatics in obstetrics and gynecology
Published: (2009)

Cloud computing : methodology, systems, and applications /
Published: (2017)

Web mobile-based applications for healthcare management
Published: (2007)

Internet infrastructure : networking, web services, and cloud computing /
by: Fox, Richard, 1964-,, et al.
Published: (2017)

Practical mobile forensics : forensically investigate and analyze iOS, Android, and Windows 10 devices /
by: Tamma, Rohit,
Published: (2020)