adicionar à lista de desejos
Automated Validation & Verification Of Uml/Ocl Models Using Satisfiability Solvers eBook
language: english
Publisher:
Springer International Publishing, January of 2018 ‧
see product details
171,59€
10% OFF
CARD
U25nNE5sZGljMkpKZDJ0VlN6Sm9iM1J2VFhCVFF6TlpOa3h0WmxRd2QyOVVhRTlaYVdZMGJHUlBXazFKVUV0T0syMDVMMDlXY21ZNVdFRkNhMmc0WVZBNE9XWkZTa2tyUzBkU1NGQlNUbk5UWW1wemNuQXdXSEE1YkhWV2FtTk9lVk1yZFUxMFQyWjFTVU13VDBaS1RUbGhSMXBuWm1GNlJqbFRibWh2TlhKMldGTm9LMVZIVFVSV05HNTJWVEJNYUVaemRqRnlURWRUVGpnME1GSm9PWEZOYmxoSlJHWndZVU5WTnpKcVltVkpNMVpuZG10M1ZHSkxkUzlRYlVwalVWTm9UWHAxUVhNelZVa3lVVXhZVkhkUlZVY3ZVREp4YjNoelJGaGpTVFJ5U2l0TGJWRXJNa1oxZW05VU1WSldOV1JLTWpWc2MzaEhRMVZ3VlV4RWJsSm9lVTkyT0ZkWWVtODNPV2xvZFhwRVZYSkhWVXhEU0hKamNEZzFZbUpYYjJONkszTnplVzE0ZEZGQmEyUjZiVUowVm5GSk5XMXRVWGN3WTI4eEwyMTVVRWRzUkVrMlppOUtkVWxoYmxNelFrRXlVSGhuU1M5MWFpOVNSSE41YTAwelRHTnJRMXBsVVZoSk0weFlhbTV0UlRVNFJFWnBWbGh3TkVoU1YwMXRUVmxOZWpSYVJVdFRkREJyYXpoeFNXWkhhMk5rZERSR2JHNDBVWHBVZEZkbUwwaHBiVkE0YUROMU4xRkRkQ3RIYld4MmNVOXNVVWhhWlhFcmFYbG9URGRaYUVVMVRUbEJVV2xyTUN0M0wxQkpSMDV5VTJvNWJWbDJlSGRwYzJNeWNrSnlXbEpDYVZaMlpUbGhkRkJJUXpRMGNtRXlObFoxZFRkR09IbzROV3haWVcxcU5FSlZZbnBIUW5Kb2NqTm9kekJ4TTBKR2VqRmxWRzV5ZEVGSFFrVmpWRVJsVjNadU16WlFaV2hsUkM5WE1FYzVORmxyVkV0UFF6bENibXMzT1haelUzaDBXWEZVV0RSbVRteFdkR3hPTDBselRERTNiMWMwUjNSVWJHcFdOemxSTUcxTlZsa3dVR2s0T1RCaVpsSk1TbEozU0daRFNsSm1ka3RvUjBJME0yVnVTMWh5Y21oT2JHWk5iVlpHUkRGVlozSm9XbEJ1Umpka0wwMXJla1owVjJaVE5tRTJNSFY2ZGtGRVdIRjZkM0pRZWxWaU9UUktiazk0TWpOWlpWWnhLMlF3UlZkR1VYcERORU5WYUZKMGFWUTNVMnN5Vldwa1dpOXFLelozZDNBeFkxcFNhREE0UFE9PTpTOWwxTm0xT2lZQWdyelRnVmZVaEV3PT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9783319728148 |
| Publisher: | Springer International Publishing |
| Release Date: | January of 2018 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | |
| Categories: |
eBooks in English
>
Engineering
>
Electricity and Energy
|
| EAN: | 9783319728148 |
| Acessibilidade: | Ver características de acessibilidade indicadas pelo editor |
-
Formal And Practical Techniques For The Complex System Design Process Using Virtual Prototypes30%Springer International Publishing AG104,09€
148,70€free shipping -
Formal Verification Of Structurally Complex Multipliers30%Springer International Publishing AG75,70€
108,14€free shipping
-
Automated Validation & Verification Of Uml/Ocl Models Using Satisfiability Solvers30%Springer International Publishing AG123,01€
175,73€free shipping -
Automated Validation & Verification Of Uml/Ocl Models Using Satisfiability Solvers30%Springer International Publishing AG123,01€
175,73€free shipping
-
Automated Validation & Verification Of Uml/Ocl Models Using Satisfiability Solvers30%Springer International Publishing AG123,01€
175,73€free shipping -
Automated Validation & Verification Of Uml/Ocl Models Using Satisfiability Solvers30%Springer International Publishing AG123,01€
175,73€free shipping
-
Noise-Aware Quantum Circuit Simulation With Decision Diagrams30%Springer International Publishing AG42,57€
60,82€free shipping -
Efficient Implementation Of Quantum Circuit Simulation With Decision Diagrams30%Springer International Publishing AG47,31€
67,58€free shipping