Formal Methods For Software Engineering
Languages, Methods, Application Domains
Livro
eBook
idioma: inglês
Editor:
Springer Nature Switzerland AG, junho de 2022 ‧
ver detalhes do produto
94,62€
10% DESCONTO
CARTÃO
T0hjclowUkdjMjlSY1RCcWMxZEZVMVJIWjJOTU1UQXJaVlpuVjFsME0xTkpRVTFrZGs1amQxWkJVVFF3ZDFvck1GaHNkVUZFTVdoMWFHVkNPVVIzY1VSM1IwOTVPR3dyVm0xS2NFWjNSbmcwY3pCWGVIQlVSbW96VVVZMFpTdFBXbmhxTld4U1FsaHFVSFZ6VVhadUswczJRMGRKTVZGdU1Tc3phVkpRV1haT1RWVm5kREZSYm5reFpYaE5hVGhZY0dKRmRURlNRazVDTkVRdmF6Z3pWR3RyTlhOd2VtWlBheXQ2VFVSb1ZGaDBhMjFRU25waVVFUXJhRVZuZW5Oek5rOUhTRzFZUkhGcmJVUllkbk16TURKR05IRTNVRmxDZW1kb1kxWnpTVXh1VTJFM2VITXZWR1ZrYVdkRWFIZFFlRWhOV0djNWN6UlNPRkpPYURZdmFXZ3JRemhZWmpKWWJqRkhURlJRWVVoUFNFdFdRV2szY0dab05UUlFNWFZEVG1OTGVFdGhTV2RVY0ZORlpUWTVWbFoxY0RJMGFuZDFlVFJzYkZCSFVFTnhkMVpMTlZWVFowMU9URmRMVkhKRlltSm1NR1Z4YlhjNFVFdE9PRmhoZG1wR1FWRjFiVlpPTm5rek5GcFFNV3RyUWpkaldqZHNkbXhvYlRNdk4xSjRTRmRRTUc5UllrY3ZOQzh5U2pVNU5FVm9iRzVXWkZSSVYzZGFSRVowT1ZCcGVtRnZTRFJQYWtKUVkxUXdOa1pZYkRjdllpOHdiVUkwY1RsQldGRkJUekJTVDFoWE1VUkJSaTlwU2pJeWQxaHRMMEkzWVVNMGRFaFFOMUZFUkZwWE0yOURPRU51YlRWdlNqZ3dTVWxGVUZab1pHdExXblpJZG1NdlFrSnNla2hZWmpKMVlrVlhVMFpQUkZCa1J6azNWakZZU2pBMlRtaFhTM0pRTVRsRU1YSkJSMUZLYVVkME56TjBhRUZCVjJwdVRGZzJjbkYyTHpoWVIwTk5OSFpPVG1NdlkxVTJiVTByZG5GWk9YbEpUMFZDVDFoVVQxTkVkV0V3UVVJNVpWTjZZV0poVldaV1UzTlVNV05WUlRjeFowVkZWVk5aVG01bVkyaHNaR1ZKYzNkVmQwcGplR2hvYlhwemNuUk9jbkZTVlcxcFRWVkpPRklyVUZaTmFraGFlbWhPTUZsamIwNUVUbTh6UVUxR1NtYzJTMk5sWlZjM09VVkhTMEZtWVdzek4xcG9lVU50VG1veVNHZHRjVXhKWTNscE1YSlROWHAyUVRCbFNucDFkbVF5TDFOQ05tTTJNVEYyUkRoV1FpdDZMM1J6TkZWd1ZGZzRRMWt3ZGtacGVUSnJVMnd5Y2tsMVJuVnFkakl6Ym5WSFIyVnlMMWhuTUVKbE1HcDJhbnBqY0ZBek1YY3hWREJGYlRadVlsVk9ZM054TlVWb1oxUjFNVGxWVkRkSk5BPT06WlUxbGt2bGh3dHp1MGo2MWxUSGd0Zz09
portes grátis
Venda o seu livro
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783030387990 |
| Editor: | Springer Nature Switzerland AG |
| Data de Lançamento: | junho de 2022 |
| Idioma: | Inglês |
| Dimensões: | 155 x 235 x 20 mm |
| Encadernação: | Capa dura |
| Páginas: | 524 |
| Tipo de produto: | Livro |
| Coleção: | Texts In Theoretical Computer Science. An Eatcs Series |
| Classificação Temática: |
Livros em Inglês
>
Informática
>
Programação
Livros em Inglês > Outros |
| EAN: | 9783030387990 |
LIVROS DA MESMA COLEÇÃO
-
eBook10%Formal Methods For Software EngineeringSpringer International Publishing72,86€ 10% CARTÃO
-
10%Decision ProceduresSPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG74,34€ 10% CARTÃOportes grátis