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
171,59€
10% DESCONTO
CARTÃO
V1N0SmFDczJXR1ZOZVVGSU5ESjJiMGt5VUUxVmVWTktRMnRMTVZvekwwOVlUMGhzUlZkd2NXOUlSRUZsTTBwMmEzcEZlREJLYzJSTGFGQk1NVTlXUVd0NU9VOVFURmxLWVZkcVEwaHZTRTl1ZWpkbGEyaHRhRzgyV1hSUmVsVnhRa1owYlZwdlJpOHdhSGhRTTJaU1J5dEdTVTVCTXk5Vk5VcHpkQzlDWkVoQlFrVmFVemhMSzBoTlowd3JVRlZUVlhNeFpqWktjMXByZHpGSFZETXZUalZzU0RkWVlYVnpNRGx4VEdOMGNucHVOVGhoVUhOeVNWTmxOR1ZqUmk5RFRXWnViRUZhZFc1U04xTXZlRFZzYUdaT1FXdDZLMFpJWVcwdmJFUktWazFIU0ZReVkyZzNTVzFQVUdaalJrOWlaa2RIVUZNelpUVlFaMHRzZVVOb05XMVRWV1pCUjJsRGNUTnJXbVJDUmtWS2VsVnpOMkp6VkVKVGNXaHFkVEJMVGtKb2ExSkVZbU5uUVU1T1YwSTNWRUZFZDFWUWNraFFZbmd2VVZoRGVVa3haV0pZWWtOTmRtUklZMkpvUjBObWFtZEdSblJEZG5wek5UaFhTRFpaU21OQ01rOHhVbmhWUlVKblpYVkZlSGN2WkZrNU9VSjZTa00zUmxkVGJXMVBlSEF3VVZsS1EzWnlRV2xSU2tweWNWWkpkbG9yU2pWMlIycElaWGxJYkVKa2NYbERhbUZKY2xWeldsTk1OWEZCYVhGRWRtOTFhREExTDJwSGQzcHZOblJDUVhSUmNUZFpSbGw0ZWxocVVuZEdlRmhOVHpaamJUaEROMGdyV25waGFFSndWQzh4TTAxemVrbGtkSEJUV0hJMFZqTTJNR3hRZEZWSE1VTTBWR1ZhVldOSU5uRkxPRUUwYjFWa1p5dExjV05QZWxCbk9VSTRkbk0zY25vMU5tVm9Nako2V1VWWVIzRkdObmRyYkhkclpubExVVmQ0VnpCNlJWZ3lSSEl6UkhodFlUWmFVVzlLVEdveGFHNHdabmcxTUdkRFJUWnFOSE0wVXpOM1MwNDRhRVpGUVdOYU9XZEdjRmgzVlc5VFIxWXhNazE1Vm1Gb1dESkJMMU5uYVdOQlptdHBVMEZYUld4MGVFOUVkbGR1U2xSb1dtSnBiVXREU2pCTVFqbFZWbkEzVDBoM1VFVmFlU3RUVVZONE5HMXNSR1YyVkROUGRGRmpWMjB5THpGRFpGTTJlaXRyY210RlVYVjZTSGRvUlZGNFlqbG9kVVJsWlhkSFJsQk9SMlZ6UXpKTVV6VkpUMFp2UFE9PToycUI3OEpNcmJKd2JlU3hqOHV1U1lnPT0=
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 |
| Formato e Compatibilidade: | |
| Classificação Temática: |
eBooks em Inglês
>
Engenharia
>
Eletricidade e Energia
|
| 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€portes grátis -
Formal Verification Of Structurally Complex Multipliers30%Springer International Publishing AG75,70€
108,14€portes grátis
-
Automated Validation & Verification Of Uml/Ocl Models Using Satisfiability Solvers30%Springer International Publishing AG123,01€
175,73€portes grátis -
Automated Validation & Verification Of Uml/Ocl Models Using Satisfiability Solvers30%Springer International Publishing AG123,01€
175,73€portes grátis
-
Automated Validation & Verification Of Uml/Ocl Models Using Satisfiability Solvers30%Springer International Publishing AG123,01€
175,73€portes grátis -
Automated Validation & Verification Of Uml/Ocl Models Using Satisfiability Solvers30%Springer International Publishing AG123,01€
175,73€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