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
WW1KWk9GWjVkR0ZzYWtkak5HMVlSMlZ1U2pOVFVVSjNOSFpHYW5Sc09WSTFWR2xtYWpReWNFaFVRMFZoUnk5bVYwWnRVMk5PY0VaT09HMVFNVTQ0ZEhaYVJERnZLMUY2YlhBNWNWQnhZbmxsYld4WGFWZzBZMDkwWW5wU1lYbFdRbmt6SzB4MFdqTm9VMVpGZDFkMFR6UXlXRGRTV0dwNlRrSlRiMUU1TTJkWE9HdFFOeTlzTmpSTk9XdHVZVmhqY0c5Wlp6WXZUa3hUUm5SSlFVUmFhRmQ2V2xNNGVXVkVSVE5KVG5oM1NHVXlkVXN4VGxaRldIQTRhRUUwTmpsbGNqTnBTa2xUZFhsWVJqQjRiRGx4TkhKa01sUXJlREpVYlZvMWMwUmpjMGxZY0RKcE1pOUVWR0ZOYjBJeFlsUnFiRGt6VWxWTU0zSmtkSEF6VWpFMldrUkpOR1U0Vm5ndlUwdDRlbG94YjAwM1EwWkhaSFY0VW1GU1lTOUtNbmx2Y0ZKc1QyMTBVa2hIYmxkcGFYWnNiM1k0YldFM1ptTnJNR0ZNV2paVWJYVkxWMVV2Y21aM1ZWSkRSRTFuTlZKQmJEbExTRTR3Y2tSVFEzVjVXalJFUkVFcmMzZ3pkbGQyUTNGaldFdFlNWFZtZUZoaU9XTlFPUzlqYlhoVk9FVnJXVmhFZDJaMFprNDVWa3BzYWtaWk4zbE5WM281ZDFodFZVWkpUSFE1VjNaVE5reDNjbkpSU0RWS1oxTlJMMDVpVjJwRWNsTk5PSEI1ZURsaVVEZHdlWEZxVHpnek4yaHNjR05EUld4aVNrWXlSeXRHY0RWVldpODBiV0ZTYVRSeUt6UkdUamREWnpNMllVSkplSEpUWW5Cd1NsRmlURkY2WW1WRWQweGFTM1ZVV2taU1ZVYzRZMnRJTVZZM09IZHlhbFIzWlcxeFdXUnZRVGg2Ums5aWFXdEpXVFpsVW5rMVIwRklTbTlQYXpZemNrSTVkelJFVDA0NFprTnNVVk13ZDNkMFFYTkhOM2w2VWxZMk5taHBaMVZpWVdwdWIyeFJabVJqVTJkbmRXSkRWR1V6TTFBM1lUbGtUVWxuZHpZelNXSnRTMEpDY1VGSU9WQlZlbTVRUlRGWWFEUXdjM0ZJYzJWdFNFRTNhbnB3UXpkWFNWRTlQUT09OkVkUnkrK2ZrSXdqTTNVcGdSUzF0d1E9PQ==
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€