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