adicionar à lista de desejos
Concise Introduction To Alternating-Time Temporal Logics
A Guide For Understanding The Model-Checking Problem
idioma: inglês
Editor:
Springer Nature Switzerland AG, abril de 2026 ‧
ver detalhes do produto
54,74€
10% DESCONTO
IMEDIATO
VjI1bWNVcDZWRlV6VGl0dE5reDVZVU5LZVU5RVFteGlaM05ZVkhNNU5tUnBXV05UV0dWaU5YWkxLM1ZVUkVScmRubHZOekZQV25wb2VsazJOMVJCVFZCdWVIUkpMMjloY1dKVlZIRkVibWRUTVhkRVN6ZE1aVEpyVFhCQ2FXRkdjSFY1Y213MWFsZ3dSR1J3WTFoT1ZtSXdOV2NyVjNaR1VWSlNOWFJzVVdjeVkwSnhORzVyTUZkU05EWndRbmxhVWpSSVJYSjZLMFkyVkdzNVlYVmFXVFJpUlRkSWEweEpWMUZoYWpacGJIZEVaRkV4ZDNZdldYcEJSVEo2WWpsUE5WWlJjVmswSzBnMVoyUk5SbUZJZVZrMVltaGpka1pHTlUxTVMxSnZTbmx3V0hSUFFsYzNWMU5YUjJGbmRrUk1jbXB6TVVkM09GTTJaVWsxU0dSVk1GRTBSMlp1Wm0weE16TktWM2hRV0dkdE4xQjJWak0yVWxKU1NHMVdSVnBMTUVKV2VEWmliRFZXTkdneVdUQk9VRTVTVWswd1ZYTnphR2R0VjFOWk1rZG9hekZ1UVN0cWVFMXVURVZYTHl0aVZYSXhaRXBEYmpONmRqUkNNakYzU3pKVEwwY3ZTekJaTm0xR1UyMVJPVUpZV2xGbmRrcHBZMlpIWm05S1QyYzBVazl1WW1OTk1ETmthMGN6VGsxbWNrRklUM0JCWWtka1RsQlNkMUJUZUUxNGNXVlRlV0Z3Um5OWFJHUjRlbnAwY1U1WE1HZEVRMjExZG01UWVYTjZTVzFGYUhkNFYyNXBWVXBtU1dwWE9VRlFUaXRrWWtrME9WRktkblJrUlVSUmIwNVBOVkpFU21NMFYwWlFiR3B0U0hWdFEzQjZZVTVsT1hVelFrdFRNR1IxVjFOMVZtdFNWVUl4YURFM1RUVmtPRXd3YW1kc2JXUkxSMmxTTWsxWmFrbFJVbHBpWmxOTWN6RlljbEZZY0VsME5XMXVhVUpTUWtWb1ozQXpjekV6VmpWdFVUTnJLMVV3T1ZrNGRHMHhla2d2WjJGT1RWZEVkVWRPVkVKeU1UVTFlSFV5ZWt4ak1FaHhaR2RySzBoMFJUaDZlREZoTUVoSGVsWjJTakpvYm5KcU9FZ3JaRnB4SzNwWVpGQnlVMk0zZW1WT1YwRTlQUT09OnJ1WjRMVnd3VmlwSy9Sa0ZLdDJDMFE9PQ==
portes grátis
Venda o seu livro
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783032118844 |
| Editor: | Springer Nature Switzerland AG |
| Data de Lançamento: | abril de 2026 |
| Idioma: | Inglês |
| Dimensões: | 155 x 235 x 20 mm |
| Encadernação: | Capa dura |
| Páginas: | 202 |
| Tipo de produto: | Livro |
| Coleção: | Computer Science Foundations And Applied Logic |
| Classificação Temática: |
Livros em Inglês
>
Informática
>
Outras Aplicações
|
| EAN: | 9783032118844 |
LIVROS DA MESMA COLEÇÃO
-
Simple Type TheoryeBook10%Springer Nature Switzerland83,47€
92,74€ -
Multi-Valued Logic For Decision-Making Under UncertaintyeBook10%Springer Nature Switzerland214,06€
237,84€