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
Ykcwd1lUWkphRFU1Y2tFelFXWnZLMWRRWm1sbFdsSmpaRXR6VkhGdmJHZHFNVE5KWm5kSmRHNVphVEpPU21GMmFWZGxWblZJVUVGb1JVVjBTVEEzUm01TFJYTk9kM2h6TjBoNVZURnNhVmxGYzBoRmMzTk1NVXhxUlRWdlYwSlhhVzVFYW1GT1luTk9WMVo1ZVRkelEzRTNTVloxY1dGeFZYQlBPVU5uVjA1VFdpdDZiVXBYYjBKa1FXazJZbUZXWW14WU1VMVJZa1l4VUhoaE9URnVVM1ZvTDNnMVdYVTNUR3h4ZUhjd1UzVk5ZVTB5YTNKaFJqSlRMMXB0YkZkRU5HVnFWbm8zYXpWd1VIcEJZV3d3Unpoa1UyZ3JlV2NyU0VSa2VscERZalJ0VjBwMlRVNVlTR0kyTkRkWVIxTjJRV2RuVGtKYVNXNUJNM1YyWVRCamRHOTBUaXRZVkRGUVRFUlFMMVVyVVhKek9YSXhOblUzVFhWVVZISjNUVkZRVXpsc1RETXllbWxqVUc5a1dHcFdjbk5RSzA5NU5sSjFORWx3YXprM01FZDZWRmhaTVdkVmFrVkRObkpEUmpsS1lXeEJjVVJ4ZDFRcmFHNXJibEIwYlRSSWJtNXdUbTFwU0U1MVpIQm9hemxrUlZkb1ZtbHRlamRxUkZSVFEzcFNReXRGTUdGTFdISkhUSGw2T1U1QllXVmtRek40V0RscWRFdEZVa1l2T0hwb1EzQkdhVEJQYlhZeU5XVTNNeTlYUXpjMGJXaDNWVGRpYVU5TlQxUm5ORGMwZG10dlFYUXlRVlZvYmpZNE0yVlBkWFUzVWpGWlkwNXRSMlpvUVVoR00wVk5SMUJ4VVRVMFEwZFBhM1ozUzBZMWRIQnJVemh6TW1oTVRtSnlTRkJVZUhSS1FsaFVTRmhRTjJsTmVrOXZaMHcwYmt3M2VIWnBaVlE0TjBSSE5ERndZVGhTWTBkb2NYRTVUWHBWVVZZNFFrVlVaRWRMVmxoQlF5OTZZVUpQVHpkVFJGSk9OVzFWVkhOcWRYZHdlRVJJWlZCRWJtRnBXRVZ4YjNoek1EUnFaekpaV1dWMVVHRnBRM3B0V25KUWVrVnZTekJ1WkhOQ04yZHBUV3RvUjIxT1UwOXNUMnN5VnpOMlpubFBWMlkzTTFwT1RrRkhNVGRXVGt0VmJVaFlaRmgxY25RMlRGaEROemRHYjJGVVUzbzFSRVUwYzNoaWNYVlZVamhQUzJWMU1GVlpNamRGUjFsaWFuZHlVVlJPVUhWaVV6Z3dPVzFSUTBNdmJrMXBlbnBPTDBaUGFsTmhiblF4VDJobFozWlZNMU5DWTBkU1pqZFBSMjUxTjI5SlprcGpabVpSWkZoUVdUTllSRzV5VGtob1prWmxPV2R4VjI1bmRWcFZZbFkxT0hselVEQXdjek51VDFrNFRreDBXbTV3U0cwMEwyVmhlVkZEWVhWRGNRPT06MGxCOFBheE9CNVVFbnRualB5Q0dCZz09
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
-
Formal Methods For Software EngineeringeBook10%Springer International Publishing72,86€ 10% CARTÃO
-
Decision Procedures10%SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG74,34€ 10% CARTÃOportes grátis