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
UzA1T1UwcDJVM1pXWWtkSFlqVlpNR0p6VkdsSmQzZHdNbUZ3YWxkaFVIVTRTaXRuZVN0SWVVOWpjelJHY21oUlV6WjRkbEZ2YzBSMFJrOHJSMFJuYVhaMVJsZExRVEoxZG5sTlMzbzJSVmxLZW5BeWJHUjViV1ozZDFvMlNVRklOamh1YzBsd2F6TlNXbEpzVTFFd1NrUjVNVE52VTFwbmEzb3JiRVJ1VUZGRWFHWlVkRlJ1WjFOM1lYUkNVblZ1Tmt4TVpDdEhNV1p3V0dONmJuTkpVblUzVXpkVllURm1SVnBRUjJobGVGWnNUMVJwYTFadVUzaHJLM1JOZVRGcVlrNDVRMVJWY25OblprZDRXV05NT0M5eGFIWm9Va2N5YW10RlYwbDFjVXRHYldvek0yUnRhemh6VFU5a016ZHlWRVp4U0hvdk9HbEVVa05RVmt3NUszVkxTVzVUTWs5bFl6SlNURVpGTkRKYVMwZDFZak5GY1VWbGNFTkthRVo0YjBaUFYySTVkbE5wVEUxeGJGSk1VRWxqTUZsM09FSnRRMVZuYkVKTmVHeFhaWEpXWjFoVFRYaDRkR3BrY25STU0zVm5Ta2N4VG5wbWMzTnJTa3RTTW1KMk0xWjVaemxoTVVzMk5tOWtWbTQ1T0RoSk5XOWpaMWxGTVdsM1RFRmlkekpuYzJVelNGaDRlR1l3VG01M1R6QTFNalF4UjNGbU0yaGxUbTlSTUZsTE0zcHdSakJCTVRoQ1IxcEhRek5oTUVWNGJWcENSWEJ1VGtkRFZFbzJiVkUyVEVkTVRYWmlWSEZ5ZEdoQ2JFWk1aVWhLTXpaQ2NXTTNWamxrT0hKa2EzZElVRlp2UXpSelZ6QlNORWt3U25SUWJVSk1iQzlwV0VwUlUwOUVVMGhKWjA0eVNGQnpSVkppY2xoVFJtRmxhVE5CY1RGYWJWSnVNV3hxYmxGWGJVUnlSbEZhYTNCSlZFZ3lXWFZMYlUxWUwxTkRjMVpUWlRGSVZFOUNLMmx4VUZOc2JuaFNTM2swUVN0alpIQnlkRFY1WWpOQ2JrTndRWEpEVWtFdmJGbHhaQzlLUTA1RldqRnFWbEpyVFdKelREbFVNakZ1ZUhaSmJXUTFMMWx5VGxOaFZIZzFPREYwYkV4QlNsaHFkalJVY1ZaUlFpdHpaVkYyYzJ0WlpXMUJORkI1T0d4U1Uwa3ZRek15UlRkRVFWUmljQ3QxWjFCWmVraGpUMHRFTDBnMWJ6bHROVmh5T1hGTVoxaElXRFZJY0ZSd09FRmtSaTlzUkRScmFWa3JkekkwUkRsUWREQXdURkIzUFE9PTpaYkVoakV3c2xueG5QM29xN2pGVWRBPT0=
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