adicionar à lista de desejos
Temporal Type Theory eBook
A Topos-Theoretic Approach To Systems And Behavior
idioma: inglês
Editor:
Springer International Publishing, Janeiro de 2019 ‧
ver detalhes do produto
145,09€
10% DESCONTO
CARTÃO
Y0M5SE1XRk9VV1JvTkVScVNuWjZaRkJ3VEZBd0wybGxkM2x1UTNJMFdsUTRjMjAyWjNSMmJpOU1RMVJKTkZvMkwxaDVSVE5YVnpnd2FtWTJNazlCYkd4TloxbHRXV2hoUVZVMlV6UmFNSEJpVDB4b1pWZDJWbTVKYTJWUGNuWnBkbEk0TTI1Tkt6UnlWbXBLVTFCMGRWTmxkbkZVZVdoSU5WcE5kV0YzYW5sU1pWVTFNMGxVTW5kNVFtdEdabEk0TVhWaVYxSlZWMVZ1UTFkd1RXMTVkMmxuWmpVeVlsQkphQ3RCV25SdGNVTnVRV3RIVXlzdlpFdFJWR2hHVmtoWFNVTnhjV2RVTDBwRlJrUndUM1UzWmpreFZWTk9aVEZLTkhoS1FsRmFZWFUxYzJKS2RGTlNTMmcwU0haNlFUQXZaMG81ZVhoNFRrcEVPVXBSUm0wdmFVaE9jMnAzV1cxU1YydzRVVUZWTDBwc2RYQTJOMVZNTjJOdE0xUkVSblJUWVdaNldsaFBkR0kxWTFod2IxRkRabUUxTkZrNVdVWjNLMVUyYlVGYVFYTkhhVkZtTVhoUWJVazFOR014Y2pBemNWVkVWVGRLTW5GbUwybGlUREo2UzBOdVNIaGlLM296ZVZGamQxaDVLM2RrTmxsVk1VRktZVk5pTVZwTWFIcHVTRTVMZG5WSlFYWTRZbWg2TTB4S1QzaEZkak13U1VSblZHcDNUbWxLT1M4NVJEaGlRbVYwYlhsaGN6SXJiak13YXpOcFRsVmlObk0wZW05c2F6WnhXWGhoUTBadmNUUk5lRVpqZUVsRGVtWkZWakZLV1dWMldtSnlZV2t3YlUwcmVrbHhNVkI1VDFwdGNXSlpTRUl5VW1sTE0yWndPVVlyY1M5dlZFdHNNR1pPVTNWUFpsY3pjMHhMY0hscmNHOVhaa1EyV0dOeFpraGlRMWxYYW5Bd04yVllNVGh2ZERaTGMwRkJiWE5VVW14bVNsRk1VaXRtYVhFdmIySjRNMEpGYVN0dE9XOWpSVFpXVFZCRmJEa3hTM1poY0dKcGFuSTRWbTh3ZGxScWNIWTJVQzgyWWtsUlNXTlhjMDg0VVZkVVNVUjFiRVJ6VEZkUE1HTktUVEJ1YmtFdmNsRlBWbEJaTm10amJYbzFObXRJYlZKUmJYUk1WMHRtTkdWUVJsYzRSelV6YkhBdlZqTkJWMlJPYWtOQ1VqSnZaMDVHYTNSTFVIWlNlRU5sTlhoQ1JEWkJkRVZJTVVKRWNXZFNMMFZZTVdkRU1IZFdVRTVNTmpoaE0xTk9kRVp6TlVKNmNYcFBhVWRKUFE9PTo5Z25pUEZCSUVBYmZhbnlCSkZSV0pRPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783030007041 |
| Editor: | Springer International Publishing |
| Data de Lançamento: | Janeiro de 2019 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | |
| Coleção: | Progress In Computer Science And Applied Logic |
| Classificação Temática: |
eBooks em Inglês
>
Informática
>
Sistemas Operativos e Redes
|
| EAN: | 9783030007041 |
| Acessibilidade: | Ver características de acessibilidade indicadas pelo editor |
LIVROS DA MESMA COLEÇÃO
-
Communism And Nationalism In Postwar Cyprus, 1945-195510%Springer International Publishing AG60,82€ 10% CARTÃOportes grátis
-
Advances In Proof Theory10%BIRKHAUSER VERLAG AG89,21€ 10% CARTÃOportes grátis