adicionar à lista de desejos
Automatic Methods For The Refinement Of System Models eBook
From The Specification To The Implementation
language: english
Publisher:
Springer International Publishing, July of 2016 ‧
see product details
47,69€
20% OFF
UzA5dFYzcDRMMEpMUkRCNlpHb3hXbUpRWnpsb05VRmlRVzFSTVVjM1ptUm9OekowU21nNVNsaDNSME4zYTJSbFJFZDFabGd5T1dsSVIxaEJiMnA0Y3pKYWNXVnBibk53Y0dNNFoxZFRkbVZwYVhkUVFrVk1aMVJET1dWMlJuVXpLM2hXTkdWRVFUUk1ZVEFyZUd0M05HOVhPVTUzWmpkaWRXTlJlVFpWYnpWMk1GTjJTRzU0WTBOdmEwNUtRM1pSV0ZJMWVYUjNUR2swTjNVeFRVdERkR3hzV0RaNVdYaE5VMWw1UlVsMWFsbE9aR2hQT0VsS1dsRnNlRzFyZDJGMGRYQkVOMnRKUTBWSE56a3phRk5SY2tZMFRqa3pNeTlPTW0xaGNUZFBkVmR0VEZwdlJWRmFUMUJPY0dGUFdHZzRTa0p0TXpScGFqQXlWSEZPV25sT00wcDNWMXB1UkVzek9XazNNVkpTVW1wTmRHczJWMll6ZFRaVFYwdE1WWEZaTWpWbk5taG1UVXBJT1V0cFJVeDZSbVozZEhKa2JuQk5kMG92V0V3MmNuaG1XRVIxYTBSd1JYUk9TMVkyYlVwemVIRktiMWc1VDFwUVNuQnZSVWRYVEZOMFYzUXdWUzlGTWpCU1JGb3ZUMlp6UmpaVFVtWmhRbVZMWjJkNlNFSXJhMDVvZVU5UGFUTjJia05LTjJGUGEycG5ORUkxZFV0Q1IwNTZORmhqY0RWMVIxUkZOMDhyVFc1NlRVaFNaazVRZVVNMWFXdEhXVlJyT0VKQ2RHbGpWbEV5Y0hoa01WUTBlbk56VUdKUmIzZDJMMmhYU2t0NFpUYzVTbmx0UTAweVoyWnBka2htYWxSM2RHNW9WV2hPVFhBdmJtVkRaR00yYUV4b2FFY3hPRXBxUzJoU2FtbFJkbGtyVHk5dGVFdHRTak5ETDBsV2N5dFVPWGhpY25RemFWUmhRamc0U0M5Qk5qazRjMGhsUnpOM01EaDVia3N5YjJ4Uk4wOTBWbGR1OjhPYUlQa0tMTm1UWHcwdU9DRHNZaEE9PQ==
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
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.
DETeBook com proteção para wookreaderILS
| Property | Description |
|---|---|
| ISBN: | 9783319414805 |
| Publisher: | Springer International Publishing |
| Release Date: | July of 2016 |
| Language: | English |
| Format: | eBook |
| Collection: | Springerbriefs In Electrical And Computer Engineering |
| Categories: |
eBooks in English
>
Engineering
>
Electricity and Energy
|
| EAN: | 9783319414805 |
BOOKS FROM THE SAME COLLECTION
-
Pre-order20%Brain-Computer Interface ResearchSpringer Nature Switzerland AG48,66€
60,82€free shipping -
eBook20%Brain-Computer Interface ResearchSpringer Nature Switzerland52,99€
66,24€
-
20%Formal And Practical Techniques For The Complex System Design Process Using Virtual PrototypesSpringer International Publishing AG118,96€
148,70€free shipping -
20%Formal Verification Of Structurally Complex MultipliersSpringer International Publishing AG86,51€
108,14€free shipping
-
20%Noise-Aware Quantum Circuit Simulation With Decision DiagramsSpringer International Publishing AG48,66€
60,82€free shipping -
20%Efficient Implementation Of Quantum Circuit Simulation With Decision DiagramsSpringer International Publishing AG54,06€
67,58€free shipping