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