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
U21STlVFNVVRMHcySzAxd01XUlBRelZMYldwWFpXWkViSFJxTVhkRFl6STRPV3g2TlhocVdsQTBibVZNYjIwM1kyaHZhR1JDYUhjdk9XeEdSWGQyTlZVNFNGSTBSbE5DTTNBeVNVZHRSV2x4Y0RsNFFsSkZRMVUwTkRoTVpEaFRaaXRNYkUxT2IyUkVhV2haTVdSYVJESjJWRk0yVm5oNWNFdEhabGhEZEZCSFpqTjNhM0JXY1ZaSmFFcHBhVXBETlUxb1dpdGFORlZOUjBsUU9XWktWWEZwVURKVWFXUkVSa1J4T0dSd0wzZFFTV0kwU0Zsb1NXaG5SMHhWY1d0WVEzZG5RbFZ1YTI5SE4xbFdVRWRpWlhvMVMyMXZRa2R6VEU1TmVWQXJRVnBoVFVGWlprNXJTVEV5YTNoeVFVeHBlbVpIWlVwcFRFOVBjMDl4WVVwVk9HWkNLMG8wYkZwb2RsbDRUV3BLU1dwalRIaEpjVFZaUTBWYVVrd3lUMEZhTDI5cVJUQmxlRW8xTVN0RGRHZEtRVU5qYmpKTGRsRlRRbEZhVTNKUEsxbGhSVkE1YmxkTmRuZFlZbFkwU1VwQ05EZFFUR1JCTmxwa0sxbGFlbmRrTjB4dFFuWlVVa3h1WVUwMVdFTlZaWGN5YUhwdlpYUTVURXhETW10b00yWXZTemRVVms5RGVtOW1MMjl4V0d4V01UVklZbkJZUVZWTWVGRXlVVU5YVEhaa09VdFpVVzAxVVdoSGEzbFpUbWcxVWk5bWFIaGliRW93VWxSTk9XczJXaTlKVm1zcmNqWlNTVEZZVWs1Sk1sVk5XRTlKZGs1elZIUk9kMVpWYTIxeFExbFNkR3dyTDFvMVJWb3pTa2hHZGpGVU4zbHRNVzlyWmpnMFRrUnpZa2RYUzI1UmJuVTNheTlVZG1vM1Z6TjNVMDlGZEVaUVQzZEVVeXQzTlV4R2IySnhORVJpTVdkRFZEQm5ObXR6VW14cFRqQmpRVGczV0hjd2MwUndaM0YzYTFwWVdtcGpUak5ZTmxVelRFNXRZbkZEVG5kdlVtdEdja1U1UzNNNFUwNU9lRzFWWTBOMGRWSTBSV01yS3preFNXMVVObk5KUkdkb2REbFJVM0EzTTFSMFlsVm9lSEZzTVZwUFVHMUZlVEYzWkV0NldqWk5SMDFXTmtKdVlrd3dSbW80ZFZsRlVWZEJSSFpvZDBkU1lpdHVXV0phVTFwMlprUkpjVTF1ZFZGTVowaFhhRVZQUm5GWU5FeGhNRWxDWVhkR1FYaHdPRlpSYkUxM1V6WjJTMVI1ZVdGcE1qaGFVMDgwUFE9PTpJM1ZGcjJmUVZDWXJnbVo4OVFFS1ZBPT0=
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 |
| Formato e Compatibilidade: | PDF para ADE |
| 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
-
Brain-Computer Interface ResearcheBook10%Springer Nature Switzerland59,62€
66,24€ -
Deterministic Car-Following Traffic ModelseBook10%Springer Nature Switzerland59,62€
66,24€
-
Formal And Practical Techniques For The Complex System Design Process Using Virtual Prototypes30%Springer International Publishing AG104,09€
148,70€portes grátis -
Formal Verification Of Structurally Complex Multipliers30%Springer International Publishing AG75,70€
108,14€portes grátis
-
Noise-Aware Quantum Circuit Simulation With Decision Diagrams30%Springer International Publishing AG42,57€
60,82€portes grátis -
Efficient Implementation Of Quantum Circuit Simulation With Decision Diagrams30%Springer International Publishing AG47,31€
67,58€portes grátis