adicionar à lista de desejos
Digital System Verification
A Combined Formal Methods And Simulation Framework
language: english
Publisher:
Springer International Publishing AG, February of 2010 ‧
see product details
33,79€
10% OFF
CARD
Y0ZoeVduQjVTSGxsT1VsSGNFbzJkRUZuUW1GWk1FSnFUMFpKZDBGWVpuQTVTRU5GUzJSYVlscEhXRWRFS3pkbWJFeGlkWHB3YUN0Tlp6UldVbGhwTm5ndmRqUjFjbVJwYVZZNFdsUkxPVFlyTWtOUGFVeFVNbVZ2UWs1T2MzbFFlRmRVV1VaRlYzcHFkVkZGVW1KVFJuQXZPVE54UkU5R2RscFpkbXBNU3pVdmFtVnBOMk5aZW5jdlREQk5LM3BrTm1zMWREWnFhazA0ZFhKamEzZFVVSFY1ZVdGRVFURnhZblF3TjJsWFFURmhOMnMzZUd4QmJXaGxaR0Z0U1haeFVuSlFMMVY0UWpJNWRubGtXRWRYZFhsdVpGSm1SRnBZZUhKak0zcFVablZFVWpoRWN6TktVVFpsTjJ4SlQwaDVkRFZvYkc5bFYxVlRTMFZqVkZWc1Myd3ZVak5QTjJ4NFQwSlVaVGMxTlhkak5GcEJOazFQVTJKdllYQk1TMkZFVkVRMWF6UmxOVWc1YTIxV1lrMXBkVXd3VkhneGNFOUZOSFJLUkdndlNUSnlUWHBFVGpVd1kzaDFUMFJJTmsxWVEwSm9WM0JUYWxwV0x6bGxTemx2WTBNNGJXcFhla2hqTnpoSU5EazBaRVZxVm0xQk1HOXBkMGRWUVN0bVpVbzFkMHRST1hwcFlXOU5WWGxNT1RKNFpIaFJaak5xVkdVdlZrSXdhMjQzTXpSUlJFNTNjMmQ1ZDNGeVFXaDViRUp4UTJ4WlRWaEZaek56TUVweVZuaHNiVkZ3YlRkRU9XeFVVMVJuTnpoUGEzcHZkMHNyTTFOUmNYZ3lTWGR3YmtaNmMzSkVZamMyVkVwaFZuaFdZV281TlV0emVqbFBaVXNyVTI5bFozVkpWa05tVlZBM2RUSkdVVmhaUkdFeFRYVmlNWFZQTURJMVdFVmxaRGRFWmpCamFrUk5XbXBYTDFocmVEZHRabnBtYUZoak1tOVdTbW9yUkRCWVdqbEtaMUl2UzJsaU56QjFSalkxV0VKclVqUjJLMEZHTUZsWGJrOUdRbGh1WW1WbVJGWk5abXh1UzNSWlVGcDFiMWhwYUV0VGJreDVWSGd6YW01bk1VOVdTbXRNVVROWGJWYzVRMHhXYUV0WFdYVk1VM2xXTlZGblZDdDBiMEZoUkVSbVYzSlNNMnBDVUcxelZ5OXJhVXQ0ZEVwSVNucGtSMFo0WlhRMlZVTlhUWEY1TUZnMlNIUmpVR1YzZWxGdmJTdG1jMnhYZEhKbE5VTmtOVXRZYzFZdlJHOURVMHBTVjFCMWNUaE9TVEJzWVRORGVHTmpNMGhFVWpaaVRHaEpaMWN6YWtSWlFWZHllbVYwZGxFMmJEWnhPWGxHYVVKdVUzVklVVDA5Olpjck9ESkdxSXFmbFRkWFFzM3NCTkE9PQ==
free shipping
Sell your book
SYNOPSIS
This book focuses on an Integrated Design Validation (IDV) system that provides a framework for design validation and takes advantage of current technology in the areas of simulation and formal verification resulting in a practical validation engine with reasonable runtime.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9783031798146 |
| Publisher: | Springer International Publishing AG |
| Release Date: | February of 2010 |
| Language: | English |
| Dimensions: | 191 x 235 x 20 mm |
| Cover: | Softcover |
| Pages: | 79 |
| Format: | Book |
| Collection: | Synthesis Lectures On Digital Circuits & Systems |
| Categories: |
Books in English
>
Engineering
>
General Engineering
|
| EAN: | 9783031798146 |
BOOKS FROM THE SAME COLLECTION
-
Arduino ViiieBook10%Springer Nature Switzerland53,65€
59,61€ -
Arduino ViieBook10%Springer Nature Switzerland142,51€
158,34€