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
TXpBek1GWk5aWFpUUzJaWFlsTlpjazg0VFhSVU4wRm5PRkk0UjFkQmFXdHhZWFZGUVRoTGVFeEJXV016VXk5RWVESnpNbE5aZEd0VWJrbzJTVFJET1ZocmQyazNja1ptT0VwQlNVUlZSamhSZG1GWVNqbFJORGhvUmxCSVNGbGhUSFJxUlVweldHUmpXWGxyVkhCUWJXWlRObnBvVkhkR1ZqRkdNVEZETW5SRU0yZE9UbTlyYzIxaVFYRk1Sa2hsY1hkUVUzVnhhMVJPUVVaVFYxVTNjMU4zWTJvMmFWRmxjMFI2VDBoYVVXNVJSVkpIZERnclNWazNVVlpuWkZacmVsazNja3h0VUVzeVdXVk5NVUpYYVc5eWRtSXZNM0ptZVVWMVdtbFNjelo0WVhweVpEaFpRMWhOYlVaQ1RTdDBabWx5WjJjM2RqTkJWMWxzYkc0MGFrVjZXVkp2U2k5d1NGVkhOMjVyWlVWcFpXa3plR1Y2UzBOR2JtWldNRXBQY0ZGUmJHWk1NbmRUZW5KV1QxSnVNRlZNVEhwT2F5dDBTV1ZvYVVGUWRrZHBaelpqV0hoSGVuYzVWa2hOTkRWNkwybFFURTFQYWtWUlN6RjJaR1ZxY2pabU0wdFRjV1V2VkdSSlMyMVNXVkpHUm5WVFprcHJRalJ4TjFCTlVUVkxaRGg1VUZvMldGRklOa2xKTW01blVVbG9kUzl6UkVoVmFURkZPRWROUmxaRmNIRlVZMHRHTUcxdE1HUkZMelZ5U1VNek4wVnRVekJYT1c5eldGWmhZV05RVDNWb04yUlRUMVl6YVhsRlEwZEVUMDR2YTNJNVkyRmlVSHBYWjFGRVZVSnFOMHRSWW1wM01taHBWR1k1VDNvd01sSmlNREpQYldwRkx6Z3paVWhvY1ZwTVNrTkdabTlXVFVWdFJIRkVVSE5PVWtZM2RHWjZPRWd2V0M5UmIwVlBTV3BhVURKVEwzTnhOV0pDZEZGM1NDc3lWMlZJTlhSUWFEaHJWRm8xVWpKcmVrWktkalUyVms1QlVsVjVTMEpCUkcweVpEWm9iRlkyUkZseVdXUjFNVXBWY2pKVmRtOHlWRzFNYUZKd1RWWnVURVpFVVd4bVFUbE9XbkZLV1cxVlJDdERNU3RCUWtJNVJFTkpNVTlMTnk5T05XOW1TbThyTm1KSldVeHpRM1Z4V2tSM1YxRTBhekZJYUZGb1UwRnBUVEJyYzJsaVMyeFZlVFVyVm1SeU5WaG5OakZLUVd0alQzSTRaM3BKTDBONVVYSkRVa2wxVkU5eFNWbHJiMmhUVlhGMlVWUnBVRzh3UFE9PTplek96VFEyb0FEcG5IUTFMSFduRW53PT0=
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: | 9781316728567 |
| Editor: | CAMBRIDGE UNIVERSITY PRESS |
| Data de Lançamento: | outubro de 2016 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Coleção: | Cambridge Tracts In Theoretical Computer Science |
| Classificação Temática: |
eBooks em Inglês
>
Informática
>
Programação
|
| EAN: | 9781316728567 |
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