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