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 2024 ‧
ver detalhes do produto
60,82€
10% DESCONTO
IMEDIATO
UmtoUGMyVldWMnRwUkc5NlQxVTFXRloyUWtoSFYwOWlXRVJISzNnNFJqTkVhMmRJVm01blpEUnNjelJGTUV0VlQwZFRiVll4YW1Kd1JGQnlWekJUZFZWbVVHOUhPRUYzYzNsbVQyWmpVMVZhT1RaUGNsWkxlR0pwUkdkUFVGWnJlVUp5T0VoeWNtNTZZa1Y2Y0RKS2RXbFRRMFJsWTBWblMzbE5ha05sV0Rsa2RWUTRhRU5CTlRoMVMwVTBja2g2VTBKd01rdFFlWGRCZVc5dlVTOUNTbm92YW10amJEVk9TVTVRY1hWeVRVRktjV2x6TXpOWE9IUlVXalptU0RRMVdqUndWa1p0YWtkUFlURmthVFpVUWk5VWNFSTVXbVZPUW05cFV6QlBNbWhSVW1kMGNVVktPRkkxVUZobldVbDJkVlZVVTJKUlRFRkpUMWhvWkV4R1ltcEdVMHRqVlhKb1pqWndMekpUYlcxMVNYaGlSSE5qVkcxTVowMUNkVWd2VVVReVZXUjNTMnh3WlVJcmRHeHZXa05yTTJvNFUxcEtWSGhFTUdOdU9EWlNhRFpPTlRad2NGcG9ORmwwTlRWcVl6TjFUbHB6ZGtOd2RUY3pkVmhpWWl0eEszVm5aVXhFZFVkT1ZHb3ZRbWhrVlZGUGJuZDRLM0EyVjNGU2RVSjNja2xaU1VKVk9UbHhXSFpuUjFCR2VtUXZTVWgzWjJ0M2JYTjRlWG95V0UxYWVFeHNXRU5SUzNFMmFsVkZOWFJMVUhvMFpqTnlXVmxCZUc5WlkwaGphbVpSVFdKVFpqVlhZWFl3U0RRMFNIbGxNbXh1Y0dOQlIzVkdZM2hJYURobVQyNXBNakEzY1dkdVdUSlNjRUkzVm1oTFowOUJNbmx3V2xCVVFtc3dORE0yTkVGeGJHUTJZMVZDZUhwVGJGbEZOR0pGWVdWamVVOXVURmRWTVVsRE1GbHlTVWN2Y0dad055OW9kV3BHU25CaFJHZExXbEl3UjNVeFUzZzRZbFpaZVRsNVNFdHZVMHhVWjFvelkzUk1ibkJ4ZFRJM2FVSkNaemhCYjBOV2VEUlRVbXBDTTNSR2VGVnljbmhzZFRWMk9IQldTRlI0TVdSYU1ETkpZVk5LTlVaWGIyWm9NbVJNYXpCQlZWRlBTMnczT0ZKck4xRTlQUT09OkJraEFXSjE2d0d0Qi94ZVQvUGRheEE9PQ==
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: | 9783031249365 |
| Editor: | Springer International Publishing AG |
| Data de Lançamento: | abril de 2024 |
| Idioma: | Inglês |
| Dimensões: | 155 x 235 x 20 mm |
| Encadernação: | Capa mole |
| 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: | 9783031249365 |
LIVROS DA MESMA COLEÇÃO
-
10%Integration In Finite Terms: Fundamental SourcesSpringer Nature Switzerland AG202,77€ 10% CARTÃOportes grátis
-
10%Anti-Differentiation And The Calculation Of Feynman AmplitudesSpringer Nature Switzerland AG189,25€ 10% CARTÃOportes grátis
-
10%Concrete AbstractionsSpringer International Publishing AG87,86€ 10% CARTÃOportes grátis
-
10%Thinking ProgramsSpringer International Publishing AG72,99€
81,10€portes grátis