adicionar à lista de desejos
Guide To Software Verification With Frama-C
Core Components, Usages, And Applications
Livro
eBook
idioma: inglês
Editor:
Springer International Publishing AG, julho de 2024 ‧
ver detalhes do produto
72,99€
10% DESCONTO
IMEDIATO
WTFGT2F5OXZSRWxuYW5wcmEyRnNhazl4VkdacGFubHVkVTVLVkd0cWNqSm1WVUU0T0dNeWQwbFZkV05qYTNST2NVOUhha001VlZwT2JtNTZUalZrUmpSRGVEVTBNM1Z2UzJZelZYaEJUVGg0VUhCTGF5OHhkRTU0TkdwSEszWXdjM0pGU1hOa01XMVZja2x2UzJaR2VFSXdVVWhQUTFOTVJXVXdkR2RHU1daNmNrUXhSemhRY2tkU1NuQXlZbnBhVW05YWJHaHVXVTV0ZVdOeU9FRXdkaTlvWWtJd1N6bDBOMVptZDNsS09EaHZjbmRGVVZSSGFrOU1hRWwzWkhJdlZtOXJjbVJEWkU1Q0szVlBNRkpPYm1jM1MwMW9laTh6ZFU0eU1teDBPSFUyTWxCYVVIWnVSMm8wVDJ0Sk1UbGpVVkEyUm10V1JERlBSRXhNZDIxS1RtMURkemhtVm5wWFZYWkJSMnBqUmsxcVRWbFZWa0l2Y0daWFkweEJaWE5hWVc5NFFYWlBaRTR5V25oaGVEbENWbnBTTVdSQ05uWnlTakpsVEhwV00wRnlhMUpGWTNWd1kyVjJOV2xyTUZaVE5GZE1UalpxTTA5cFUzWlVUMFlyZEVjelUzWkZSV2hITWxRellXbFlSekpoUmxneFpXbDBVbTAwTHk4clpHOWpUa0o0VFhsMWJXdGlaSGhYWW1wV2MySjBiWHBqVFRKaVJESkxUMFJwVVdkeFFVUlZSVkJ1YWxkdWFXSXJOM1pYUTFScGRuRkpPVkUzZHpscFRUaG5URzh6Y2s0NWFuSllUSFZrVFhobE0yTjNVRmN4YTFWMFUzWlJhRTh4YjBwaFVqbHVRVkUxYVhwRWVHeEZZMkUwWmxGUlVIbzRjVTVETTBwRGFqZ3JNa1ZSTkV4b1ZYZE1lVGh5UVVkWFJGUk9Sak5NVlZaaFl5OW9jV2RQYURkSFMxWllUbGxQZVhnMVJYbGtZV1ZpTUN0NWJVaGlhRzVMT0ZkVEszRkhTVVZTTlZwbU0zSkxSWEYzTjJkeVIwRkVRM2hQWVVGR1VuTXZTbU5TYkhodGFHVnBVMFpET0hGQlVHazJkR0V5WW5wTWMxcDVha0pSZWxOTmMxWTBVRWczTVhrdlpXRXdRa3AxYkZsWVFraFRMek5NZWxSSEsxRTlQUT09OmtscFVTbjFwZC82Mk5mbFRNaHU0dkE9PQ==
portes grátis
Venda o seu livro
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783031556074 |
| Editor: | Springer International Publishing AG |
| Data de Lançamento: | julho de 2024 |
| Idioma: | Inglês |
| Dimensões: | 155 x 235 x 20 mm |
| Encadernação: | Capa dura |
| Páginas: | 697 |
| Tipo de produto: | Livro |
| Coleção: | Computer Science Foundations And Applied Logic |
| Classificação Temática: |
Livros em Inglês
>
Outros
|
| EAN: | 9783031556074 |
LIVROS DA MESMA COLEÇÃO
-
eBook10%Simple Type TheorySpringer Nature Switzerland83,47€
92,74€ -
eBook10%Multi-Valued Logic For Decision-Making Under UncertaintySpringer Nature Switzerland214,06€
237,84€