adicionar à lista de desejos
Complete Symbolic Simulation Of Systemc Models eBook
Efficient Formal Verification Of Finite Non-Terminating Programs
idioma: inglês
Editor:
Springer Fachmedien Wiesbaden, março de 2016 ‧
ver detalhes do produto
59,61€
10% DESCONTO
CARTÃO
ZUVwUmJIQk9lREJVWld0S1MyY3dPU3R5VlVFNGJuSlBkallyZVhWTVdteHRWaXQxWldsdWVFVTBLMlpEVGxsT1JFZ3pPVW94Y1dJclQzY3lUVk4xVEZJeWExSXZhV0pLYmpWcmNFWTJRbG80YkdjMVQwMW5RbVl4VUZsYU1XRXpjWEJxTTJsS1VYWldVMDFuWTIxdk4waFhiQzltY2pNMFMxTlZaalp1VFdWQmVXWktVVGhYVDJaQ1JWbHJZVmhyY2pSMmFIUlpVM1JoVm10NWRXVnRUVnBDYlV4eFpGVnZSRTlXZGk5TVNHVlhjall3YTFkelRXVTNlblJqWkVwdU1WaEplRmxHVm5oWlpVWkRVVWg1WldNellVVjFUM0JoYms1d1VsQmlWVUpHTkdOVFpTOTZOREZWUldwUmNXZG5laXRpVG14a1YzVTBWRU14VTFaR1Qzb3lWVzlsU2tSQmRTdDZkMDlvTDJkeFZERkJaWGRoY1RGSVFWQXZVbEpwYXpsclpEVklNMGxSUzNNMU1ETjFRV1ZzVVhseVF6UlZVVWhwV0cxTlVrWnFkSHB2YVVJdmVGWkdNV3QyV1hwa1FWazJPRFF4ZEhCMVRFdE9kVFZPYWtWV1UxQjRabWQxYkUxTE1FdEpaMUY0Vmt3d1VuQk1aV1E1ZEZONVZERkZhVFJzWmxOVmJVNTJPRzlGTVhKNFdHZFVhMk5pYlhsb1JqZHVRa0l6U2tsMVJFTkhhRVIzY2t4cFUybGxNM1ZMTVVSc1VFcGFibk5USzAxWlFVcEtPRE40WTNaNVRFTjZkMFJQUkZsWldVUnJjSFkxVjAxRlozb3JaWEYxUzBzcllpdDRhREZvT0VWNE4wWlJVRzQwYTNaV2RDdEZVa1VyYTBwME9YVkhOalZMYlZkVWVEUk5XbkZpZW10c1VsZEJhVVZuVm14SlZ6WXpMemhXVVZaak1WbG1jRzF4WWxsaFZXOWtSME5hUlc1eGRtdENXVFl3VGxaeGVHbEJTRXQyZGtWMmQxUmlkRkJCZEdSRmMwUTBiMlZHUVU1MllsSlZTRVkyUWtKUGRtTnRUWGxxV2psc2QydGpTRWw2VkRGNlQyOVZjalJaUm1aRmJsUnhabmMwVUU5VE5qbG9PVXhSYjFkU1V6WkVSbXRpZDJSM2FrVllSa2hNZUZBNFEwSXdWbVpNVFU5b1QycFdhVnBVVm5wbU4wa3lkVVZ3V1c4M01IcE1aSHAyT0hOWVVuaEJXblV2TVdKMmJIUTRlSHA0Ym5GWFRXOVFlbGR4VDNWd2QwY3hWa0o2V0hkWFRXazJlVWRSUFE9PTovdCtnWmJvRm82dFRrYys2b3JiUUdBPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
In hismaster thesis, Vladimir Herdt presents a novel approach, called completesymbolic simulation, for a more efficient verification ofmuch larger (non-terminating) SystemC programs.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783658126803 |
| Editor: | Springer Fachmedien Wiesbaden |
| Data de Lançamento: | março de 2016 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Coleção: | Bestmasters |
| Classificação Temática: |
eBooks em Inglês
>
Ciências Exatas e Naturais
>
Matemática
eBooks em Inglês > Informática > Hardware |
| EAN: | 9783658126803 |
LIVROS DA MESMA COLEÇÃO
-
Shopping In Virtual Stores10%Springer Fachmedien Wiesbaden121,66€
135,18€portes grátis -
A Dlt Solution For Efficient Large-Scale Pension Administration10%Springer Fachmedien Wiesbaden109,49€
121,66€portes grátis
-
Enhanced Virtual Prototyping10%Springer Nature Switzerland AG101,38€ 10% CARTÃOportes grátis
-
Enhanced Virtual Prototyping10%Springer Nature Switzerland AG148,70€ 10% CARTÃOportes grátis