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