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