Formal Methods For Software Engineering
Languages, Methods, Application Domains
idioma: inglês
Editor:
Springer Nature Switzerland AG, junho de 2023 ‧
ver detalhes do produto
74,34€
10% DESCONTO
CARTÃO
U2tWdVNVeEJTRlpIVkZCTU5saHRWRlJVU1dKa1JqUk5jVTkzYmxCWVJXOUxNMGxHVkhRNE1FNU5LMkZqZFVsbVRXaElZekJxVjFGNGVEVXpZa1pRWlRaV0wzRjVVRzVEZW5SNGIwRmtRa3RJUkVGbVZsWnJORWR5ZFcxSmNYbElNM1ZLWm5SVGFXZHNUekIyUjNaMGJVMTRlVE5HVW1OSVlUUTBUMEZJYnpSdE9HbzRWMEpITlZWMU9WWnFkRW8yUlV4RFlVNXlabFJ0TjBOemJYY3liRFo1ZUdoNllYRjFXbWhZVWpGMGRYaEdRMjFvVWpOdGJubE5RVXRtT0RNekwwVnRhMDV0U2pGSlpHNU9XVFJZTjA1MWVuWTBNM1JGVWpkRE5raFJRMU40U0dkQ2IxUnRMekEzU1hWblJsTTVZVXgwYWtaaEwwUm1iVkJWV0doNGEyeHpZV1kxVTJwc2JqWk9PVTF1VjJ0V2NVaGpkSFk0YWtORWVVWkZjV2hrVVU4dlluZFJNelExUm13MVJYQlJXRXRYV1U5b2VHVTJkMHRoV1hGM1FYRXhjek5aVTJsV1RtOHpZMm9yTDJoaE1ucG5aRXMxY1hJNFUycFlNVTlYUkZneGMzVjNTRUZqVlVwdk1HbGpSSFF5T0VjclYyMWphbWhRVmpOQmF6TTJUSGh3S3pScVRGSk9TalZXYW1KVVp5OWFXbk5uUVRWdVZrMVdVV014VWxCcGVGWmFSblpQY213emFIQldNbVUyVlhSeVVsWkRWR2QzYlRkQlVtbE1aVGQ2VEVKV05uZ3hSalIyYlVaVldFTTROVXhQVUdsMWREUTJia1ZZVUVSTVMwVm5SWGMwV2tVelpEQlRaVEZTVkVWemN6WkNabUp1VlRBMlYzSnFSRkp5VWxNek5XdGxVM2xQTm5KV0syRk9OaXN3VURVNU1rODRVMHRrTWxVNFdIUnVaMk5PYzFFck4wOUhhbVJ3YWxKRlZrcHNiaTkzTWk5alJsRjNSR0Y2UVRacGF6aGtjRGd3VlZkeFVFMHZTMkpHUldGQ1MwNW9UVmgxTkhOcE5XVnhhV2RCUldkR1dHeEJkM2xSZVVvMlVrcHBibFJRYmxwVGFtWm9VR0pqWTFKTlFUSmhjU3MyTlRSSFJreERZWEZTVVVGWEwzSm1XWEp3VlhKUk5qWkliR2xHVUV4d2FYRTRaSHBzTjA0elZHZFlRMUJXT0VSM1UxSkJVMlZpU1VaeFUzcFRSakJrVmxwMmIzQlhSVnBQU0ZsU1MydExTSFlyVUU5a2FFZEljMnhXZWxZNU1HbHBlRzVEYWxKdldXcG5RVlZpV25Oa05XbHdRM1pOUkdWNVNraG1NemxLWWxocldHZG1hV3gyVFc1elpuaG1aM2RLVEZWMFZIaHNkRloxUXpKVFpITjBWVGxNY1VWT05sSlpNVVUwWjFOTVpsQTRkR2R3UzJ3MVR3PT06RjV1UTFsaXcyUENTZnZ2NnRvbi9jQT09
portes grátis
Venda o seu livro
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783030388027 |
| Editor: | Springer Nature Switzerland AG |
| Data de Lançamento: | junho de 2023 |
| Idioma: | Inglês |
| Dimensões: | 155 x 235 x 20 mm |
| Encadernação: | Capa mole |
| 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: | 9783030388027 |
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