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
YUZwU2RHVTFUR3h4UWt4blIzaFFOVGxDUmpjd2NuQmpVSFEwVW5CcVRHcDJjamhtVkcweFZGZGtPVGQwUXpaaGJ5dFJNVlJPVm10b1JVZzVTSFowYWtoaGRsSnBWRUpISzNSMVoxcE5ZMjk0TVVWT1lrUjNPVnBwTmxSVFZrcHNkRkZTU1d4ck5HdGxXVklyU2tOQ2MzbDNPRTB4U1ZCTlRFdzJNMnN6VUVsdE1FMVdWekZNVURaa2VYQkdUbVEyZEZkb1JFaDFkbFJaU201bVZYbFhiaXM0TkUxR1pWQjZaV2hpVDJKc2VtSnJXVE5VYVhnclNURnZObEozWkZoV2JrczBWR3RIWTJNd2JYVlBUa3hwVFZGNU1URkZkRVoyU0hRME1EWmxVekpuZFdkd1NEUllUVkpsVG1kbFFrZHdaMVZyVFV0Wk5tVnVOVzEzUmxsU01GWm9UelpuYVhGNE5XaHZXa2xqYm5rNFdHNXFaREpVZUdSTGVrcGxiMlpZY205clkyc3JlRGhPTkhFM1RubHZSWEp3WlhocmQwNDBkRlZPY21WWVoyOXdlV3d2TTAwdlRFOUZVMVI2UkRSMEsxSkpMelZ2YlRCa1ptZHJiRWRVWjJScWNqZHpjSHBaTHpKR0wxTkdZVGRFYnpkd0wwUTBaVEV4TjJVNVlYWkJUV3RQT0VWdk9VVnhVVGh2VERsblVVNUpTMUpwUmxSemNYVXlNbkV6YkZkTE9IRjZVVTFWWkdaeWFHaHVOVGh0V2sxVlpHTTNMMms1UnpsRmFYUlZWbEZQV1RsQ2VsRTRLM2RXTURNeGIwTnlWM0pMTnl0NVFYRnZPVGRTYkhKbGRHOVJRMVF2VGxSQlpGWmpXRFowWjFoUEwzQnVLM0ptY0VKelRtdGFTRVJxUTA4dlNTdHhUbmc1U1RCVk9WaE1ibUV4U0UwNVJreElVV3N5YjJWTWFHRnpjMnBUYjJkaWEwTnVhaTl0ZWtRemVVZEhkVU5GT0ZjclpVSjBkMU0yV0V4clRWcDFhRUpEU0dka05YZEZWM0JqWkVsdlRtWlFWRkZvWkVGc1NVWlhhRk5vV1V4MGVqRTFXRTVKTUVKdE1YZDZSbmhEVGpSd09FTjJTRFpwYTFCVVNXdGtUM2hhU1c1S1JHUlVaVXR1U0RncloyZEJNRXRPVkcxYWF6RmFUM2RFWTFablRteEVTWEZtVDI4dmRDdElOSGhwVlRkU1MxVkNhM0p5Y1hsbU0zVmpNRk42SzNGQ1dYSXpRVWxTV25RMVpFZFJaR1UyZWtZelptaFZaV2MxTTI1eFdEYzNkRkF4ZFRacmRYWlljSEZGU1hSeU1sRmhNM0ZMVFZseVpYVjJPWGh5TlcxaE9HVmhSbTlhYmxrMFRHTk9lakpVY1ZOclFXRjVWVGhOZFhCQmRUbHBaREpCYTJWM1kxbzRWRE4xZWtKcU5tOURWbEEzWjJka1VBPT06RDlrQ0tIcFNqL3QrZE93Q294MWVUZz09
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