adicionar à lista de desejos
Temporal Type Theory eBook
A Topos-Theoretic Approach To Systems And Behavior
language: english
Publisher:
Springer International Publishing, January of 2019 ‧
see product details
145,09€
10% OFF
CARD
VjBSb1puTnRhVXhWV1VwTWJraFZaVnBxV1dRdmVuWlNVM1JLVkVkS2RuUTJSQ3RSWldwVWRtaGpSMUpyWlV4a1NHUkZXbEZJU1ZGQ1VXUlRla1ZSUzNsNU1FcEVaREZ4TUhkNGVrTXlaRGRGYlV0c1lrUlZTSEpuT0VrelZXcHJhbmgxUTBaYVdEQkJlV1Z4ZGtWTVExWkJVWEpzY2xOcVJUZHFiWE5SYW5SNFFuZExZbTVQTlhGS2MyaFBObEJpYTJaUU0yNU1jV2R4Y2xKNWQwRTBUVGwyZUhNeFRFVjBjVmQwWTJ4UGFVRXdORTlVTWxKNFdtRkliR2cyVm14eWNWWkdaR2t5YzJkRVNFdE1MMEZtZFdoM1JtNUpTMFJHTVVKNWRYUmlTVlF4YWxNMWNEWkNNbkpIVW5KUFdsaHViamRYZUhWeWVqbEtkREJQU25kdloyRlRSVFZJY2pkMlNFTm1hREp1WjFkRk1Fc3pNVGh6TlVsak1XaExWMmQwYVZwVmJtNWhURTF4WmxKdlJISmhiaTlTVjNaMFQydFNUMWwzU1VOTmVVUTBVbVZTVURjdlJuTmtNV2h1UmtSNVJtcHhXVXhJWldOUGVsSlhNVGRVWVVzNFVsUTRZV2wyTW5GMFQySmlPWEZoTkd4b1JrdExUR1E1SzI5c1dYVmhTRzlUZDNGVFJHaEZOMUJPVGxsQ2FHVmxRV0kyVEhZd2VtSjJMekZ2WldvNFdGUlZkSHB6V25KU1IwRnJaVFpNYW14eEwyRnpkbUZwT1RaT09YVTRkVEJWYjNwTFFWSXZaRzVGZUVVemJGVlBjVll6UVc5c2QzUTJiamh6UTJOTmRWUkthM2xvYzFSSlJVWnZjVGRVVEhNMWMyMVBaMmRIUXpWMmJ6bEtSamczY1ZFNVlpdFBURzlDYUROWVVGazJSRmRrY1d4aGRIaDZlV1k0U2pCYU5HOHdNVUp1WjBzMVVuQnpZVkJWWkZrclkwZHRVMHRXVlhoSVZIazFNakZyWWtsVUwyNU5PVEJtTTNoMk1FZzNXaXQwY2pKTVMzRmtMM295VjA5UE9UazRURWRSWXlzM2N6bEpiVWcyWXpaNFZtZ3JTVmxvV21kd1V6SlBNVXgwYlhadE16bHRiRGRyUnpreGVrTnNNRzFOWmxOS2VVVmxSMHBDTm5GWVQyOTFSVUlyWkZwS2JYTnFjMVZDY3pCa0wydzRkR1JRVVdkTU1rRmlaa2x1ZGpscVMyeExiVmxXTUZGbmFIZHlhazFoVTB4Rk4wTnhlRzlsUlhsemRIbFZkbkJzUm5Sb1NIWTBVMkpKUFE9PTpTTGYxcDhYVUFFTjFDRGpadEI0dUFnPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9783030007041 |
| Publisher: | Springer International Publishing |
| Release Date: | January of 2019 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | |
| Collection: | Progress In Computer Science And Applied Logic |
| Categories: |
eBooks in English
>
Computing
>
Operating Systems and Networks
|
| EAN: | 9783030007041 |
| Acessibilidade: | Ver características de acessibilidade indicadas pelo editor |
BOOKS FROM THE SAME COLLECTION
-
Communism And Nationalism In Postwar Cyprus, 1945-195510%Springer International Publishing AG60,82€ 10% CARDfree shipping
-
Advances In Proof Theory10%BIRKHAUSER VERLAG AG89,21€ 10% CARDfree shipping