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
ZEVkUmRFbHJlVmxUUVhZcldtNU9WREpQYmxjMlMydHJUWE0xZWxoSGFVaHNNbEkxTUdad1dXTnJieThyVURoUVpFSjJSR280WTJ4NE4wZFZSek5hZFhoeU4zWTFORkZzSzJKeGNXazRRMlJYYzFwa1FVMU1SaTlIUldOcWFsQnVlVUZYUTNreWNHcG9kbXQ1YkZacVpFWlpkamt6ZGpKM2JrcDBZWE5TYUVZeVpGcG9RM0JFVVUxNlZYaDJNMmhwV2t0VlpYSm9UeXRFSzFKbGRGRm5VbTlXVEhCaWNIZHRNVVpoSzBGbWNEQlpaV2QzVDFKcVNtODNkVTV0T1UxblJVMXdSakU1VjNSMGFsRkRWek5yUms0MFRUUjBaa05PTldreldYQTNlbk42T0dKcFMySmhWV2d4Y1RsV1R5ODJPREpYYlVaRWNGZEROMG8wVlhGRVIyWlRiRzUwZERaVWRWcG9VMEVyYzJoclZtNTVXa3BYU1Zsc1NXcG9RWEVyVTBoM01XZGlha2xvYjBkMVdXWlBlazkwYTFSR1VXbHVXbWRLT1ZsWGNHdEdUV0ZDUjBoTGNrazBhVWM0VkUxM05qUkphbFpNV205WFNIYzRSM2xpYzNwVWFESnNjM0ZFZFRJcksyOVFkSGhvZUcwdlVYVjBla1JuUjJsbmIwRlZkWGcyV21sWFkzWnNSWEp2VVdWTWVGZG1TRkpEV0RaTmIya3pNSHB1TTJwU2QyaHphVFpZU2k5alIzWTBXbWRQZEcxbU1sSldlVnBMU1hwMkt6aFNkbm94T1c0clZIUkdhVTV6UVZkbVZuaERUMk42WjJGeVlVNXhLMWRVYWxKSVVHWTNNM0FyUTFKQlNHRmlZell2U1ZSTlMyTmxLelJDU1ZGd2VVSldWeTlHYldsUVJubDNSWEE1VG5CMmNVdEpMMkpRUlVoc00zbHBNMnB3VDBselpVczBjM2wyU1VodksyUlRSMUJ0V0ROdGFqSkRXa281ZGs0eFJHMWtTSFF6VEc5R2NFODBXWFZvYjA5c1dVMVRVVkJKYm1wbVUwMDVTbFJZWTNKUlRETnVNREJzYVd4YVlXNUpNRzVNU0RGeVJtNTJkemhhWlhveGRqRnRjMUpEWTBwelYzQlZhVkpNY3poVmFYZzVjeTlzWkhFeFZVUTViVUYzVVdwSmRXOXJSek5JUjJ4cU4yWm9Tekk0Y0dablFXMWpXVEoyVjJoTFVVTm5aakpxTkc4NWQxWk5aRk1yZWpkWFFXNXdRM2xLY25FeVRUVnZhbWd6SzIwMU1GYzNTMWQ2TUVOVFduUnZhMEozUFE9PTpSUHVrMVlsY29SSzZFVDhCcE1BZExBPT0=
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 |
| 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
-
10%Communism And Nationalism In Postwar Cyprus, 1945-1955Springer International Publishing AG60,82€ 10% CARTÃOportes grátis
-
10%Advances In Proof TheoryBIRKHAUSER VERLAG AG121,66€ 10% CARTÃOportes grátis