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
TjNGcVp6ZEVkSFEyVTIxR1VsbFROelZNZVhocWIxZG9VMFY2VFZabVZFVnpOUzl2UWpOTU4xY3hhVlUwZWpOb2FuZDFMMlZwVm1aMUwyRkdZM0pDU0VKRGVGZzBhMGh1WjJrNFMwRmlRVGRvWld0cEsxUXpTMnR0U21SMVlXOXRTSE5xY0hkeGRGUXJPVVZZWm1aNllWSTBOamhuS3pkRlVWbENTM1V4VWxBemEyOUdjVzE0WkVaNWNXbFlka3gxVTFaREsyZDNUVWRsTTFSdU5VUXdNRFZtVmpZeVJDOXpiakprYTNVMWVWSk9XakkwV1ZkdVEwaEhSbXhIUlhCS1ZsRnhhMDA0ZURFd0wxa3JaR0pzZVM5V1lYTkNSRVFyT1V0TE5YbDVMek5MYWxBeVNGYzBhalV4WWtFd1VURnllalZ2TVZOSllucDNUMGxDTWxkTVNERnJhaklyTlVKb1ozTnpXRWhpVFdGbU5IVXpMMkZwUjJaMVRFSmxja0ozSzNkTU0zaGpObTkyV1daVWNrdFRZbUZtV25aTFZIQXpXRVI0VTNoaFpUUjRiVU5oYWpOb2RWcFlPRmhPZWxFNFdrcGxSblF5ZFVwMk1GRlpjVXgxU2tvMGVrVmpTV3BPUkZaYU9XOUhRVUY2TVdkcFRuSlBkMmRtZG5WRk1WVjFZbEJLUzAxUlpqbEZMMWRLV1hGQk1HdFJMMDFYYXpaTWFubDJTWHBxTUZWRFNUQktjRTFoYW10cFNUTjNORFZaTlUxSGVHOWFZMnBpYm5KQmVHNTRiVTB5VldaVmVYcHFaVlJaVEVsNFRHdERNV2R5TDBoalEyOXVRMFpTY3pZNFVFVnZhRFpTUTBRMGRVeERlRWxuT0Zsa2FEUkNLMGt3TjBreWRGZGlaM0JvVHpCc1lYb3pWMVZ4T1dnMldrRkNTbUZTUzBOallsZ3JRbXQzVTBvMVYyWmlObEpsWkV0MWJWUlVRbU5zVUhOelZXSkdVMUZzZWtOUFZuaGxNRkUwYTI5Q1FWUkdZblp0VkRSUU9IcDZRak54VURaR1EwUmhOakpRUnpGTmRGbHdjREZMV21oMVExTkpjSEJKZW0xcVNGWXdPWFk1VVdad2IwRTJabE5CTDFoaVlsQnBZVVoxWkZkMVFXOU5hbG92V2tOWVdXYzlQUT09OitveG5rL1NLaUVmZjN1eHJNLzQvM1E9PQ==
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
-
eBook10%Simple Type TheorySpringer Nature Switzerland83,47€
92,74€ -
eBook10%Multi-Valued Logic For Decision-Making Under UncertaintySpringer Nature Switzerland214,06€
237,84€