adicionar à lista de desejos
Digital System Verification
A Combined Formal Methods And Simulation Framework
idioma: inglês
Editor:
Springer International Publishing AG, fevereiro de 2010 ‧
ver detalhes do produto
33,79€
10% DESCONTO
CARTÃO
UzB0Q1NrNTFjVVF2U1RkYVJFVmtOMGRQSzFOUmVHbE5VR2xGVDJOdlUzaHdaelpFY0hselVsVmlRakowY0dkR1JUZGhNSEpOT0VzeGREZDNURXg0UXpCVFJXUkxSbVJXYmlzMFRYRTJiWFJ0TVhWWFIwcDNUQ3R1VFVVMFNEZFZPSEl6VW13MlVIbFRZVXBITldaYWVscHpiMmMxSzI5elQyUnVZMEpKUm5kRlVUVlhPSGRqTkhGRlJWRjViekJSUkdwWFVVZzVSUzlxYTNneVVuVlVSbmM1UTBaVWVYbEZTbWxRZW01ME5GSTBVVkpTZFdKTlpqbGtabU5KUXpWeFpYVXlhRWRSU1VWRlNqVk5kMGQ2WjFoSGNIQlBLME5UVjNWTE1GaEZkbGxHV1RacGVsWmliMFprYlhad1RYUkpTRzVTY0ZCS1NFSjFXR3hDTkhwaFpXWnlSelJKTDI4M2FVd3phRE40ZEhKb2QyUlJaazl1UTJoNFZFRkxTMjVtVldoSVpYb3lSMDVrV0dKeWVsRkxZV2N4U2pBcmREQktjWGQ1UlhkeFUwVmhhV3hvWjFkTFJYVTFTV1JyVm1FMmRUQjFRbGhIY21zMWJ5dEVkSEpTVEU1VFJUSmplalZGVGt3NEwwRlhiREYzUzJ4clVVTjZia3RXWTNwdmJVRlJXRzVTTTBkeksyaDVSM0pzYzNGSFVVTkRlV3MwUTI5eFRtSTRXbEZRVWpkek9FUklOM2RyVVUxblFUVTFaM1lyZDNSTk5FVnJTMWhQVkVGdWNreFJjVEEwZVZoVmFUbDNUVmRGY0cxT2REZFRXVFEzY25SVVZXNHdTa1ZIYlZwblduaEpibTh3UzJseVNVdHNZbU5pWkZaMlRta3JibEpyVkRnclJYTnNPRVkyZUhKcFVEUXlPVUptUm5sNVZVSktXakF6WjFWa2VVVnNZMjFIYWxSdVdVSmhZalIyUzJ3MFlWTTFhVkJTYVU5ekwzbFlXV1pqZGpKVVJGbFhPVGRPTjFOSFFYbHVabkJUVDFscVpuZDZaV3RZWkdwTVVXcHFhbms0TWpoSE5FUlFkRTFQWkc5QmNrWkdhMDlaWm1GbVJURjVhamswV0dKWlNrbFhSamxTY25SbVpYZEVhakJSYWxwT2RtMWpOM3BOYTFwSlEyODFZeXRYZWpCME1EUnRNSGQxTUhaS0wyeDFRa2RPTTA5SmRUQnFRVzh5U2toMlJreEtlVlZqYm5ac1ZGWlNNV0ZaWW1FMmIyNURaREpGZEc4emRVRmhXakF4YW5kUlVqbGxReklyTURKaE1XRmtlR1ZLVm1nME9FVlpWbGQyYVhFdmNGQjFjWEYzTXpCek1ISkNaR2wxUW0xVFVERlljVEJIUmpOTU9YY3dNR1JpWW1WMGNuaDJMMWczV2xSa09FdDFXRGx1YmpCVFFtb3dZMmd4TWtseU4xVkdiV0kzZURkQ05BPT06dHdSbTRhelJydEwwejdJK1ZQbVlzZz09
portes grátis
Venda o seu livro
SINOPSE
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.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783031798146 |
| Editor: | Springer International Publishing AG |
| Data de Lançamento: | fevereiro de 2010 |
| Idioma: | Inglês |
| Dimensões: | 191 x 235 x 20 mm |
| Encadernação: | Capa mole |
| Páginas: | 79 |
| Tipo de produto: | Livro |
| Coleção: | Synthesis Lectures On Digital Circuits & Systems |
| Classificação Temática: |
Livros em Inglês
>
Engenharia
>
Engenharia Geral
|
| EAN: | 9783031798146 |
LIVROS DA MESMA COLEÇÃO
-
Arduino ViiieBook10%Springer Nature Switzerland53,65€
59,61€ -
Arduino ViieBook10%Springer Nature Switzerland142,51€
158,34€