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
VWs0M2QwSTJPRko0T1hwcWJteFRiMlZHY0dzd1VuVlliVTVTUkZKRVJtUmpWMFp2UWxnemR6WktaV2QwYzI1dk5YZExiVzVQUm1wSVpFVmtORUpIVnpCWVRHTTFiR0Y2VTB4bFRqUkNWaklyWW1jNVpXeHBPRmR4ZW5WU1ZXRXhVRU4yZWlzdk9HRmtlRzE0WkM4MmNWRndWMDVCVVhkRVYyUlZSMUpCUjNkWFozaEViWE51ZWxwU2NtUXJkV2hIY1hwNlNYZG1XbWxWTUhBdk5YTkZPVlZzVGxwVVEyNVRiVUptYkM5M2JIaE9aMWtyZUZKdE1XbFliSFkwTUZwcFpHcGhNVUp5VDNWTkwwZGlTRTlqTURKMEswTk9ibTUyUzNoM2FTOVhRaTlIYTFkVWNFOTJjVE5TWmtKVmMzQXliMnRhU2tNdmJtNVBXbGw2TVRkR05tdEhORmhITkRoSU0zSnZNWHAyYXpVeU55dENXSEpsVWpOV05HWkdabU4wVURGTWRtSkJSMDFIU2tRNU5qTnpjMlozVWtKRFZFWkdlbXRTY0Zwc04yRldiVTl0YkhKVU5TdFVSM0IxTVRCNFFraDBjRmxIUkRKRmRITlBORTE1YTFkTFlWUnlNazVWU1hoa1NtZG5kMWxSYVdZeUswRlpTRkU0TjI0NGRuVldWME5SUTJaMmFXMHhSMG8xZUVoSGQyeEpiVEJ5VlhoVmJuZGhTbXRxTlVFNU9UUkxTRUpzTWs5S1dUSk1UVk5WUVc1TE5GVkRLMDUzU2xKUlVEbENMemhyYXpCM1JHdGlOVVlyUzFwRlFWRTBhMGRIYTA5RldsQnNjQ3R3ZURJMU1rdHZUV00zTW10UE1uaFhjQzkyVDBkRmRFbDRWRko1ZG1RMWJIcG5aRTg0YlZNdlFsTlJTVUZFTlhOc1VFdHhOa3gzUm05Q1prUjVWRmRMWm5SeVJuQklURlowWjFFMmFEUkxORXh5U210dlNXNXlkM05VZDB0eGMwRXJTakZ3YzBwRFNVWmtVblU0Uml0dmFYbHFUVVJSZHl0dFprbG5VR04wUTJsSk0wTnVSbGR0TjJoa2VXRXpTbTQ0ZVdoaGJqVmlTVGRrVVdOSlFsUkpOa3gxY1dvMVkwbFNhSEJNZUdaTE1EaHFPV0oxVTFwemVWVkVUMVpSYkRaSk4yZHhWVGRvTUROcFozcHVSMkZYYzJnMmJIbERURVZDYW1oSVRsWjFUeTlJY0U5M1VFRnFPWFpXTW5aRWN6VnhRMmw0WW5kYWNqSnJOaXN6VUN0TFNWZExSbFpxZVZJMU9FTldka3c0UFE9PTpEbDB6QWh2ZXU5OHRwTjFDeEpDNjZnPT0=
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
-
10%Initial Algebras And Terminal CoalgebrasCAMBRIDGE UNIVERSITY PRESS188,59€
209,54€portes grátis -
10%Topological Duality For Distributive LatticesCAMBRIDGE UNIVERSITY PRESS82,74€
91,93€portes grátis
-
10%Automata Theory And LogicSpringer Fachmedien Wiesbaden48,65€
54,06€portes grátis
-
10%Concise Introduction To Alternating-Time Temporal LogicsSpringer Nature Switzerland AG54,74€
60,82€portes grátis