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
V0RNNU9TdDVVM2czTTI1bFkxRjVSR1ZJVVc1R0x6ZGlRbTltWlZaclJuSnphVTEyUjNaSFJHUkJNbEJhYlZSSGVWUlZMMUpqTWtkR2EyOVdlbXhsVFV4dFdFbGFRMGxYUXpkR1EwMXBiV05JU3pObE5UaEhZbmR0UlhocGJsYzBWeTk1YWxsQ2RUTTRTMU5OVUhwb2FrWlpSM1YwU1VOTWMxYzFZVmwyUVRBclluZEtiakJYZVRWSlFraHJaRlp1TUc1UlYyOHpjVTUwUjJGRFRtZGtLemRQWkZabkt6bHhUVGh0Ym01d1lVMHJTbXhsU1ZGaFoyUTJaa2swY21wWWJrdHhZa1o1WkhOTFdHSlNSbU5YU1ZnME0yOWhWMFJCWTBwbWNWbExNRGt6UkVod1dFdEJkMGRtYlNzM09GTllZMWN2TUhBeWJXWklaMFZNVWpWaGQwVm5XalUwWkRnMVZTc3dNblZ2YURGVFNWSkxOQzk2VFhSWFRHUjBUR1pOUlZOclRtVjBZbkJLYlcxQ1dEbHVUVmxsVFdjekwyODRUalpJTWxCWFNtNU5aRWMwZDNCWlVuaFVMMDgwV1ZnNVdHSkZWV1p3VVRkSmNTOVdaVXMwZWs5Mk5XZG1NRFJYVm5WcE4xUnZjRll3ZVVkMlZGVllVMnRYUlcxbGNETlVkMGxQV0U0MllWUnhlbEVyWW0xa1NucHdZVTFaYkRCdlltRTNhR0k1VlhJdldIZDRWRW93UkdoRU1YbDRTVFF6ZUhWc2FuSXhiV2hhUmtGSVJGWnFOV1JyV0dKQ1JFaGFjVTh6VW1sWVZuTkxaVTF6Tlc1WVpEUlBZalpJSzBKYWVYaFRjM0J4VTFWclNXZzVTMGQ1VG5CeE5YZDJhRXhKV25GblpWUjRObVp6V1ZsRmRIWktVVVZOZVVkelQwRmxLM1ZYYnpKcU0wMU1ja05ZVlU1QlVVWjRjekl3VUd4RGRESnRjMDVFZEhRMmIxcFJhVzFDVTJ0TVZYQkdUbXRWVDBSUE1YQTRNM3BITW10eVdXMXpTVmt6VVhvcksxTXJjVkJSV1U5c1YxbFNSM2RUUjNCU2QwOVBXbFFyTm5VeGFuRk5WRTRyTlhCYVRuVk5WeTgzWkdkU1ZFUm1WRkpqTVVaSGFYUkVZVTl4TUVneU1tbG9URTAzUkVFeGIwUm1PRTg0VWt4SlJWZEJZa3R6WWxSUFlraHZjRFp1YURaUmNXUkxTWFYxVUZSelpWVk5TazVxZEdkNVlqaEtTVXBRWkdzM1JFMWtaMUV3Vkc5V2NXMUtTRFZEVDJjelJ6Qk9NWFJPWTBsV2JXRXhkVEZzYVhGeGR5OXpMMmxyYUdkT2VWRkNWbEIzWlVFeWVIRTJNbVJGVG14clJrSjVRVVF5WTJGcVNDdHFXRFJsWVZaWlRXazRWRFpQVGtOWFIyeFpWeTlLV1VkUGFYRkpVbXBFVURsdFJ3PT06dG5uOGQ0RjFHRmJKRFpacHVnWXpCZz09
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
-
Pré-lançamento10%Arduino IxSpringer Nature Switzerland AG66,91€
74,34€portes grátis -
eBook10%Arduino ViiiSpringer Nature Switzerland53,65€
59,61€