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
137,27€
20% OFF
U0hZeVRYQktaVUZUWkZCU1ozcE1WVzUyV1RGVGJrUk5UbXRMVUZoTU9EbFZXaTh5YWxVeFkySmpNak5YWWk4NVRrZGlZamc0Y1Vka1lXMWtXRzgyZUZkbE1FWkJVV2R5TXpJNE4yRkNNVGg2UlV4UmFVaHhhalpsSzJOcFRVcDJUMHhDU0dSWFFtc3lkME42WWtaRE5GbHFVbTVGV1VKeFFXaE5aMnRKTVV4TlREWjBSbVp6UmxKNVRUZHNaU3RhZFRWSFZXdFJObGhJUms5alRISnpXV1J5U21FeVJXZ3lNRk51TW5kVk9GbEJOWFpFWlZoamJVazBWV2hvVlVnNFpXaGxhamxLU0VkM0x6UTNiekF2VWpCaWFFa3ZlRUZEUTFKdWRpdFRWbk4wUXpaT1RtcFFPR2xQVTNsUFdTODRlSFpFWm1weWJtVkxla0UxVlRKMlR6ZFFhRXR5ZVVwWlozaEZUR280WkRNdmJtYzNVWEZKZEU5Q1IzQmxjVkJXTjIxVlJFWkhTa2xYVG1WaGNXZHVlR2RaTTBoU1lVczVPVXRNV2tOS0x6QkVWekZ0TjNwVVpGUlFhM1ZFV21ocWRHRXJPVmRzVmtSaFozSldOSEE1U1VScVEwOTNOR0ZqYldkUFMxRlRiV0UwYkN0SGJtNUVjV3AzUVZka1NuTkNhWEZ1Y21WdGJXRlJUMGRFVUdoUVRXUkRSWEpKTmpWblNEY3ZiRXQzU201MmNUZHBWamxSTWpCSVRGQjJhM2hQVjBkaGVqRTNZMkZIYnpKamJEaDZRMU00WkhwNU1FaEVWVEJFY1dSbVpVUTBTRFV2TkZOc1JsbEVTMDVVV25wT09GRTRja0V4YjBSbFFWZ3lRVWt2WWtsU1NHUnpURWt5THpscllURXhPR1Z5UVRGNFkxbFFTSGd5YVZrMlJtOWxMMnRzUVdWc1lYSTRWbXRTTWk5TGFVcHFhbGh2UkdSS1l6SXZSWEZDUkhSclFrVlRiMk54Ym14WWRHTnlLMFZoOnp0SHZzRHM3VW1ITkl5VnNENHdmZWc9PQ==
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.
DETeBook com proteção para wookreaderILS
| Property | Description |
|---|---|
| ISBN: | 9783319728148 |
| Publisher: | Springer International Publishing |
| Release Date: | January of 2018 |
| Language: | English |
| Format: | eBook |
| Categories: |
eBooks in English
>
Engineering
>
Electricity and Energy
|
| EAN: | 9783319728148 |
| Acessibilidade: | Ver características de acessibilidade indicadas pelo editor |
-
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%Automated Validation & Verification Of Uml/Ocl Models Using Satisfiability SolversSpringer International Publishing AG140,58€
175,73€free shipping -
20%Automated Validation & Verification Of Uml/Ocl Models Using Satisfiability SolversSpringer International Publishing AG140,58€
175,73€free shipping
-
20%Automated Validation & Verification Of Uml/Ocl Models Using Satisfiability SolversSpringer International Publishing AG140,58€
175,73€free shipping -
20%Automated Validation & Verification Of Uml/Ocl Models Using Satisfiability SolversSpringer International Publishing AG140,58€
175,73€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