adicionar à lista de desejos
Automatic Methods For The Refinement Of System Models eBook
From The Specification To The Implementation
idioma: inglês
Editor:
Springer International Publishing, julho de 2016 ‧
ver detalhes do produto
59,61€
10% DESCONTO
CARTÃO
TVRaWVNIZFZhM0pHYlZSWGJqVlVVMWxLU1hSdGVHUlBZVWxQTUhBeGRGRjBhVWt4Y0hacFJESkVibGhCV25od1JqbGxNeXRyVlV0YVZHVnlSRTVtUTAxQksxaE9SeloyYmpGTUt6SXlUbGRtV1dSNFNrSnViV3RUWjFZeVNFdFRkbmRHUmpKWVJFWTFhRTVTWmpBMlVXMUxWMUJpYjB0MGNsYzFXRWhWYVZsbk5tcHNaUzlaY25kb0t6VTNZMnh1YjJaeFpGVmhPWGRVUkc1TmMxRnRZMmRGTkRWTVNVdDBNa1pqZDFJMGIxTTBTMVowTmpSd2VFOXVOMUJSYTBFNWVYTldOMWRCU0hobU9XeE5VbnBhUXpoWmF6RTVlSGR5TWtONGFrOUliWFZJY1ZWV1RVbHVaa3BxZVd0bmJHaEtNR3h1Ynlzck5UTk5aa3BhVW1ac1JEbG9kV2R5YTI1SFdWVkhlUzhyVXk4emRUZEVNRTAzZFRsWFVFWXpRbGt6V1M5SmRHbHlOVlJVYlZGdFpDdERNbVppZFhWU015dGpiR2RSU1d4RFRWbDJZWE5pYkVoMWVFdHJhMmx3VEhwdVRqVlNSVU0zUVZVeWNEaEhjMHRHS3pCb1ptODNaelZtTkdwMFZtbDZPRzFSYTFWR1N6Qk5UVGhrZGxKS01TdFBTM0p3Y2xKMlFVSTRUeTlNV0ZkM1VGY3dOSFZxYzB0RmJYWjZXREppYm1kb1ZXVlpPSE5wYmxreWIxTm5OMkpDYURVdlRuTjRVSEprZWtWMFpGSjNWRE5VTTJOQmJXNUVabGxaUW5SMk1WRjJia2RSUkZwSVRXMDNSek4yYVhOdFZFcENhM0JPVFVoVlVXOW9SSFZVYzNac01FVjVOVGxMVldwRVFqZFFOVVpOWlN0cWRrNTFTR3BLVTFKck5uUnVNV3R1UjJaUlRVVlBiMGgxWkd0Rk9GZEhTV1ZGVDBnMVNVWk1hRFp0YW1ZeVkwTnhRMFJLTnpCYU1FNXNORmhpVDNaeksySTNhbFoyWjJVd01YbFVSbmczWVUxdWNVbDVOekp1UWtVMVpFWmllblJPUlZSM2RFaFZNbko2TDJ4UlNtbGFXbFkwUzFwRFJFeHFNR1pNY1hKWGMybHFSVVk1UWtSblpua3pSRGs0YnpNMlpURmthbWc1YjB4RlZtSmlhMUJRY0RaSVpGaFhZVzk0TVRoWmRFRlNWV3RVVTNnNWNYUlhVVzFWTkRSa1MzRlVkalJ0U1ZVMldYVXhlamt2VG1Sdk1ISXZZbWgwT0RaUGRFeHZRbVk0VEZZeVkzcFFhemhqUFE9PTpqQitJOGdrYnJLd0plV1E5RkRmUlVBPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
The authors enable readers to follow two "directions" for refinement: Vertical refinement, for adding detail and precision to single description for a given model and Horizontal refinement, which considers several views on one level of abstraction, refining the system specification by dedicated descriptions for structure or behavior.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783319414805 |
| Editor: | Springer International Publishing |
| Data de Lançamento: | julho de 2016 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Coleção: | Springerbriefs In Electrical And Computer Engineering |
| Classificação Temática: |
eBooks em Inglês
>
Engenharia
>
Eletricidade e Energia
|
| EAN: | 9783319414805 |
LIVROS DA MESMA COLEÇÃO
-
Pré-lançamento10%Brain-Computer Interface ResearchSpringer Nature Switzerland AG54,74€
60,82€portes grátis -
eBook10%Brain-Computer Interface ResearchSpringer Nature Switzerland59,62€
66,24€
-
10%Formal And Practical Techniques For The Complex System Design Process Using Virtual PrototypesSpringer International Publishing AG133,83€
148,70€portes grátis -
10%Formal Verification Of Structurally Complex MultipliersSpringer International Publishing AG97,33€
108,14€portes grátis
-
10%Noise-Aware Quantum Circuit Simulation With Decision DiagramsSpringer International Publishing AG54,74€
60,82€portes grátis -
10%Efficient Implementation Of Quantum Circuit Simulation With Decision DiagramsSpringer International Publishing AG67,58€ 10% CARTÃOportes grátis