adicionar à lista de desejos
Temporal Logics In Computer Science eBook
Finite-State Systems
idioma: inglês
Editor:
CAMBRIDGE UNIVERSITY PRESS, outubro de 2016 ‧
ver detalhes do produto
155,03€
10% DESCONTO
CARTÃO
V0VaYVUwTm5aVTk1UTBwV09YRkhNbVJPV0VkSWVWUkNXakZZUm5oVU9USjJNRWQ0T1hSaFpsUXlMMHBEUjJoQk9FMUtiVGRqTVRSVmRuVXZOMVpVUkRaUlEyVk5SVVZsVUZobVEzVndNVFpHYWpneVdDdERTMnh6VG1kdlUydFlaak13Y0hOUlJtMUljRWN6WVROSlltRkNUREJhVEU5a1QwSm9aRzUxWlZSTVQwdE1lVlJ5U0c1alJIY3JRVWxGTDFSb1IzcExPRUpFVEhkTFdFVTRlV05YV0V0VVluSjFNVVkyYjBsNFRDOW9kbkJGV0ZjelFrOWhWbXQzTHpWNlRtZFRNVGhzUkRoTVUweERVelUzYVRGa01uUTVjMko2VTJwdmRsQnRibTVEZFRGSWJHTnhZWEk1Y1dWeWFsSmpNVU5vVURSUE1WVlNhRzE0VGxjNE5FdHpSbmxuTmtsdmFFYzRjM0J2T1ZkclJEaEtiV3RrY1hOUlZ6Sk1jMmhFUlVsSVZHcDBlR0psTUZVdlVtcExWU3RTV21WamRGTmhaa2hEZDFGTGVESlpWVWc1ZFRrd05uZFRPRmx5T1M5RU0wZFdPRGxSV0RaV1ZYQkNlR2RYZWtOdE9HVTFVR0ZXUjFsbVVsUnZjbGxFVGtzMFJWZG5iMlZFZERoVkwwbGFaM0Y0U0VOMWQwMVNkMDVUYmxBd1EzaEJZVEFyYUd4cVNFSnJZM0ZFVEZBNGJVNHJVMXBTWm5WR2FEaE9OWFpKWVcxbFJtMUdUbmxxVURGTVJVeDJaVlJrYURSUFFpdHJVbTlqU1VGcVlXcEVhVkZXVlZSTU1FSlpiak5tVGxoTVkzSnZUM0kxZUU1MU1DdDRhR2xtUTFKWlF6VTNPRGxHT1RnMmNITXlTVXRGU1ZGRU1GVnhjVzh5YkZsS2VUUkVRVWMwVVhSMk4yOTFLM0k1UVVWVk5uSlllR0p2VUVVM1psaHlaRXB4S3pGelNGcG9Na3QyVFc5UWVsTTVRV1UzVkhFek9GTkxXbmREV0dSck5tbHJTVU13YWtkVVVpOTVSMFJxVVhoaFJ6SlRVemRqYUdkRGQxVnFVR3BuYmxjdk9WVjNMMVk0T1VoS1ZtNWtWRGxhZEhKT2NqUkZkR2xSTm1WQ09FNUNkVk5JY25aV01UbFVNRVI2ZUZScFZVRnVUa3A2VURKYVUxcGlOMFJNUWxWT09FWkVVbU50TUc1Rk5rOWlhRE14TDFoU09HcDZMMHRqYjNBNGFtRlljbXRDU0cxb01VcHpVVzlCV1c1alpVNXRSRTlRWlZFeWRuWXpOMjl6UFE9PTp4Sk93cXhCM3VENVA2K1RwM0k3OE13PT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. It is a solid professional reference for researchers in the field and a graduate textbook that can be used for self-study as well as for teaching courses.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9781316727164 |
| Editor: | CAMBRIDGE UNIVERSITY PRESS |
| Data de Lançamento: | outubro de 2016 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | |
| Coleção: | Cambridge Tracts In Theoretical Computer Science |
| Classificação Temática: |
eBooks em Inglês
>
Informática
>
Programação
|
| EAN: | 9781316727164 |
| Acessibilidade: | Ver características de acessibilidade indicadas pelo editor |
LIVROS DA MESMA COLEÇÃO
-
Initial Algebras And Terminal Coalgebras10%CAMBRIDGE UNIVERSITY PRESS188,59€
209,54€portes grátis -
Topological Duality For Distributive Lattices10%CAMBRIDGE UNIVERSITY PRESS82,74€
91,93€portes grátis
-
Automata Theory And Logic10%Springer Fachmedien Wiesbaden48,65€
54,06€portes grátis
-
Concise Introduction To Alternating-Time Temporal Logics10%Springer Nature Switzerland AG54,74€
60,82€portes grátis