adicionar à lista de desejos
Concrete Abstractions
Formalizing And Analyzing Discrete Theories And Algorithms With The Riscal Model Checker
idioma: inglês
Editor:
Springer International Publishing AG, abril de 2023 ‧
ver detalhes do produto
87,86€
10% DESCONTO
CARTÃO
UlVJelRtbEdMM1J0VlhkUU9Gb3hRbGxEU1RaaWNYVXhkMjVhZFZZNVJEVk9OMHhyVTBkUFZFVllabFZTYW5ReFowcERZa3hJV0hNMVYxTk9kMDVpVGs5cFVrTmxlV3huZFZoVVlrRlBVMkp4VW0xWlVIcFZjbWxQTDFSdU1HdzFlR1EyTTFwWVkzRndjSEJzYm1vcmEzVlBhVGhrZUZWU1Eza3pPV2RsTjBJd1VrcGFVSEV3TDNKSWJUVnRUMUZvVUd4TVdWTlBOV2RXZEhkVFQxWnlNbVptUzIxbmFHOU9jMVJvVUVReGVsVlNjMDFxTkZKUE5qVlhNeXNyTmtvM2VtMWFhVXR0YTFwdmRGQlNZMHRaWjJGRWNWZFBhM2R2WjBaa01GSnpXbms1VkRSSFZrUnJWM1o0VEdOM2NraFFUamRhZFc1U1dHazVabWwySzFFeGVpdHNhbWg1THpKcU1UWXZWMlIyV2xCTU9URXphemxrTm01MWRHNWxhRlI1Ym1odllucDVia3BPWm14b2NYVTFVVUpLUkRRMlkyYzNkVUpCTlcxb1pFWkRObWxKT0RKNWJGaHlhSEZsYmxWWUswRmtablJaVkZNNU1XUk1NR2RYVTJGNFJURmljRk53TWtnelJuaEVRa0paYVdORGNXNHZkbWhHZURaNU1rOVBLMW8zZUVOaFFXMWxSVk5EVUROemRsbzBhQzluTkZadGNEaERZbXd2Ukc5MFVWUXhiek5MV1dsMWFVSmxSbTB5UjJORU5WbENjbXBzU2toSFZIcDZaWEo0VFVSVmNGbEpRbkJ6TjFOd1JXcE1kMmhRVDFWVFpEZFNOMkkxYVdKQlFtWnlaWG80U1dSSlFtTnJlRlJvVlhwTGR6RkdUbkpHWVdaWVNtUklaa0pwZDJFdmFXVjFNVUV2VW1zcldVSnRSbTVPUjJzMFF6RldhRmxuZWpaRU9TOTZVRTF0VjFaTE9XZEliRVZqZG5wSmRXMVBVbWt6ZURCTlp6SnFkbGd2UWxST1VXd3JXVUpyTjNCUVRXSTFjaTgyVmtVeWEwRlBVVVJOZVdaNlZFdFlTVEJIZEdOUE9TOVZhVlpxTDFJNE0xTmpSMVI0V25aYWRUTXpiblZaZEc1c0wwSnJRMmh6UzI5dGQwYzVOMVp4WjJ0aWFVZHdhamhqTWtKaVFsTm1VMlEzVlZGaGREaHNlSFZqYURWdWJWTjFXVGQ2Y3pNNWFGTk5aRmhoU1ROamQyY3lXbEl5V1ZGeE9XRTVaRE55ZWtodFMzbGhVa1JLVG1ab2RtTktiV1puZFc1aFZrUlVkVzh2YjAxb2EwcHJPVEowZEZSWE5FWkxUMmRzTVRad1pWWlpSR2x4UkZCdWNpOHdRWFppU2pkUlRYaDZkWFJyZGtneE4yNTFiVmRxZVhsUWFVdDNRbFk1U0RobFJrcEhRbVk1UlVNMVpYTktMMDlLVTB0WWJ3PT06OUNLYTMvREpySGQxdy9YUGJ2MlJiZz09
portes grátis
Venda o seu livro
SINOPSE
This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.The presented domains are typically investigated in discrete mathematics, logic, algebra, and computer science;
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783031249334 |
| Editor: | Springer International Publishing AG |
| Data de Lançamento: | abril de 2023 |
| Idioma: | Inglês |
| Dimensões: | 155 x 235 x 20 mm |
| Encadernação: | Capa dura |
| Páginas: | 271 |
| Tipo de produto: | Livro |
| Coleção: | Texts & Monographs In Symbolic Computation |
| Classificação Temática: |
Livros em Inglês
>
Ciências Exatas e Naturais
>
Matemática
Livros em Inglês > Outros |
| EAN: | 9783031249334 |
LIVROS DA MESMA COLEÇÃO
-
Concrete Abstractions10%Springer International Publishing AG60,82€
67,58€portes grátis -
Integration In Finite Terms: Fundamental Sources10%Springer Nature Switzerland AG202,77€ 10% CARTÃOportes grátis
-
Concrete Abstractions10%Springer International Publishing AG60,82€
67,58€portes grátis -
Thinking Programs10%Springer International Publishing AG72,99€
81,10€portes grátis