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