adicionar à lista de desejos
Automated Validation & Verification Of Uml/Ocl Models Using Satisfiability Solvers eBook
idioma: inglês
Editor:
Springer International Publishing, Janeiro de 2018 ‧
ver detalhes do produto
137,27€
20% DESCONTO
IMEDIATO
ZEdGTlJVOXFTMlJMV0dwYVNVbE9lR2hRVmxkUVkySnhTM1JKWTAxamF6VmhSVGsyUmxwMlFWbFFNMDlXZDFVeVJsUnVZV1JHWlRoSGQxa3lWbk42UkcxNE0weHljalZPU21GV1pXY3pUMjVIWVhjdmJHSTJRVlZGZG1Wb05USmxOazFFWmpaU2NWbHhiRmdyTlVRM2FHVlNVRWxsWXpReVRFZFJaRmhFY0c1dmMzTXZNamhuTm5wa1RtazRPRmhKVFV0WGNrcElZazFqVnpaeVdubFZkMDVUYWpSNFMxZHRlV0pVUVdOWVFtWTNTVTVMV1dRdmMzUnZhWE5uWkRFeE9UUnBTazFNZEZwb1kxaHNWSEYzTUcxVWEzZENjbVl2VW5SR1lYZDVkREZzUlV3elRGTjBRVTlTWkRkU1RtaGFZa1psWVdKSVJ6Sm1ZbEUzTVhWQ2FWazFZbmxST1dkNWVYVkJZVlJyVFZFNGRVSnBPRVJqUkUxdGFtNDVTbkYzUjFkWmFVcE5aalpzTTNORlFYZHRVRzkySzNRNWNpc3dNMWRHTHpoU1VGb3JhRzlXTUdNMFJUaExVVXR0ZW1kbGNrNDRWRlV3ZUhaT2NGTkNZazl3Tm0xUGNWVjJWVzFWY0dRd01FbE1XSEpTWldsR2NIZG9VMGx1V2pWbFJYUnlWVVZKTkV4alVGWmFPR2R0V2tOcFRVZHBlbEpVU21FeFExSlJNSHBsWmpKNU9XMXlhekp6Y25kMGRrWXZSalZUUjAxWGRrMWhja3RoT0dWSFEzSnJaMlJVTXk5NWRsbEZka3MzZFhCNWNUbE1UbU5VZEhnMlRXSTVUWGhYYjBRelVrRnNWVEJKZFhCdFJuUjNZbU4xVldsRUsxQjVNekZyUW5SR1NFMDFVbkJuTlZONE1rRkdWMGxvYlRKR1ZHbEZPVUpsUmpSc2FuQm9jVXBsZEdOUEwzVlNhWFZKZUdOT2VsbzNMMk5FSzBnNVJDOTVZWEZKWWtWc1JEVTNZVU5MOk1xMElWOUJEdEZJcW9TVEFhU3pMZ3c9PQ==
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
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.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783319728148 |
| Editor: | Springer International Publishing |
| Data de Lançamento: | Janeiro de 2018 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Classificação Temática: |
eBooks em Inglês
>
Engenharia
>
Eletricidade e Energia
|
| 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€portes grátis -
20%Formal Verification Of Structurally Complex MultipliersSpringer International Publishing AG86,51€
108,14€portes grátis
-
20%Automated Validation & Verification Of Uml/Ocl Models Using Satisfiability SolversSpringer International Publishing AG140,58€
175,73€portes grátis -
20%Automated Validation & Verification Of Uml/Ocl Models Using Satisfiability SolversSpringer International Publishing AG140,58€
175,73€portes grátis
-
20%Automated Validation & Verification Of Uml/Ocl Models Using Satisfiability SolversSpringer International Publishing AG140,58€
175,73€portes grátis -
20%Automated Validation & Verification Of Uml/Ocl Models Using Satisfiability SolversSpringer International Publishing AG140,58€
175,73€portes grátis
-
20%Noise-Aware Quantum Circuit Simulation With Decision DiagramsSpringer International Publishing AG48,66€
60,82€portes grátis -
20%Efficient Implementation Of Quantum Circuit Simulation With Decision DiagramsSpringer International Publishing AG54,06€
67,58€portes grátis