Passer au contenu principal Passer au contenu du pied de page

Digital System Verification: A Combined Formal Methods and Simulation Framework

Lun Li , Mitchel Thornton

18 février 2010

38,95 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 195 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

79

Synthesis Lectures on Digital Circuits & Systems

Publié par: Springer International Publishing

Dimensions à l’expédition: 1" H x 1" W x 1" L

ISBN: 9783031798146

Cyber Physical Systems - Advances and Applications

Anitha Kumari K. Livre numérique Kobo
66,99 $
Cyber Physical Systems - Advances and Applications

Anitha Kumari K. Livre numérique Kobo
53,69 $ ~~Réduction sur le prix courant 67,11 $ à~~
The Fundamentals And Applications Of Blockchain Technology: Bitcoin And Other Cryptocurrencies, #2

Dizzy Davidson Livre numérique Kobo
6,99 $
Engineering Simulation and its Applications: Algorithms and Numerical Methods

Xin-she Yang Couverture souple
259,50 $
2 formats offerts
Bioinformatics: A practical Guide to Next Generation Sequencing Data Analysis

Hamid D. Ismail Couverture souple
147,95 $
3 formats offerts
Fractional Differential Equations: Numerical Methods For Applications

Matthew Harker Couverture rigide
189,95 $
Logic Minimization Algorithms for VLSI Synthesis

Robert K Brayton Couverture souple
259,95 $
2 formats offerts
CISM Certified Information Security Manager All-in-One Exam Guide

Peter H. Gregory Livre et jouet
76,95 $
2 formats offerts
Mining Spatio-Temporal Information Systems

Roy Ladner Couverture souple
160,95 $
2 formats offerts
Logics for Databases and Information Systems

Jan Chomicki Couverture souple
321,50 $
2 formats offerts
Outlier Detection: Techniques And Applications: A Data Mining Perspective

N. N. R. Ranga Suri Couverture rigide
291,95 $
2 formats offerts
Verifiable Privacy Protection For Vehicular Communication Systems

David Förster Couverture souple
80,50 $
Penetration Testing Azure for Ethical Hackers: Develop practical skills to perform pentesting and risk assessment of Microsoft Azure environments

David Okeyode Livre numérique Kobo
43,99 $ ~~Réduction sur le prix courant 54,77 $ à~~
Computational Technologies: A First Course

Couverture souple
72,99 $
Introduction To Scientific Computing And Data Analysis

Mark H. Holmes Couverture rigide
138,95 $
4 formats offerts
Configuration Management 100 Success Secrets - Covering Cm Software, Jobs, Plans, Tools, Control, Database, Process And Systems

Gerard Blokdijk Couverture souple
19,95 $
2 formats offerts
Artificial Intelligence: Applications and Innovations

Rashmi Priyadarshini Couverture souple
106,95 $
3 formats offerts
Trends in Data Protection and Encryption Technologies

Valentin Mulder Couverture souple
72,95 $
Agile Product Lifecycle Management Certified Implementation Specialist Secrets To Acing The Exam And Successful Finding And Landing Your Next Agile Pr

Irene Mcintyre Couverture souple
37,99 $
2 formats offerts
Nine Steps to Success: An ISO27001:2013 Implementation Overview

Alan Calder Livre numérique Kobo
35,99 $ ~~Réduction sur le prix courant 43,82 $ à~~

Évaluation éditoriale

Auteur

Introduction to Embedded Systems: Using ANSI C and the Arduino Development Environment

David Russell Couverture souple
77,95 $
Finite State Machine Datapath Design, Optimization, and Implementation

Justin Davis Couverture souple
49,50 $
Mixed-Signal Generic Testing in Photonic Integration

Matteo Petrini Couverture souple
72,95 $
Developing Embedded Software using DaVinci and OMAP Technology

B I Pawate Couverture souple
49,50 $
Advances in Visual Data Compression and Communication: Meeting the Requirements of New Applications

Feng Wu Livre numérique Kobo
219,99 $
Early Soft Error Reliability Assessment of Convolutional Neural Networks Executing on Resource-Constrained IoT Edge Devices

Geancarlo Abich Couverture souple
131,50 $
An Introduction to Logic Circuit Testing

Parag K Lala Couverture souple
38,95 $
Despeckle Filtering for Ultrasound Imaging and Video, Volume I: Algorithms and Software, Second Edition

Christos P Loizou Couverture souple
71,50 $
Theoretical Foundations for Digital Libraries: the 5S (Societies, Scenarios, Spaces, Structures, Streams) Approach

Edward Fox Couverture souple
49,50 $
iRODS Primer 2: Integrated Rule-Oriented Data System

Hao Xu Couverture souple
58,50 $
Mixed-Signal Generic Testing in Photonic Integration

Matteo Petrini Couverture rigide
80,50 $
2 formats offerts
Mobile Robotics for Multidisciplinary Study

Carolotta Berry Couverture souple
38,95 $
Networked Multisensor Decision and Estimation Fusion: Based on Advanced Mathematical Methods

Yunmin Zhu Livre numérique Kobo
91,99 $
Organizational Implementation: The Design in Use of Information Systems

Morten Hertzum Couverture souple
87,95 $
Individual and Collective Graph Mining: Principles, Algorithms, and Applications

Danai Koutra Couverture souple
94,95 $
iRODS Primer: Integrated Rule-Oriented Data System

Arcot Rajasekar Couverture souple
38,95 $
A Textbook of Data Structures and Algorithms, Volume 3: Mastering Advanced Data Structures and Algorithm Design Strategies

G. A. Vijayalakshmi Pai Couverture rigide
198,00 $
2 formats offerts
Modeling and Simulation in the Systems Engineering Life Cycle: Core Concepts and Accompanying Lectures

Margaret L. Loper Couverture rigide
291,95 $
2 formats offerts
A Primer on Hardware Prefetching

Babak Falsafi Couverture souple
36,50 $
Designing Asynchronous Circuits using NULL Convention Logic (NCL)

Scott Smith Couverture souple
38,95 $