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