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
Tm00NGRXaFlTa0ZFWXpaR1VXeFBZVGwxUzJNMWFrTnlObE5wUW14MFlWWnBUMnMzWmpGdlRqaEliSE5ITHpWeU1HeGlOVkJIVjJ4MGJFMDVRWGxRVTNkWVdYSnJUbTl0WW1Wd05WZHNTSHBIUmpKUk1IZGlVWFJTVDJGWFlWTjRXVlpMYjJWT1IxVnJSMU4zVnpaQlZVdHFTRmswVEdvclZUWnFTVVo2WlZSR1UxY3dkVFpCWW5od1dYTnhSV2s0Wm1SalR6aGxaVTVDZGk5VWRXMWFVekZWWVZGWkwxVndNRzluYlRGU1EwMTJTU3RIZFRGMmJtVlRZa1I0TUUwNGNXczFZVTl4UXpoVWFrcG5lRE0xU0ZrNE5EZHJiSEp6U0dONlFXNWtTSHBPUkRGTU1rUk1aRkYxTjNaak0zUTVaVkJOV0dGSE5ERndiemg0TTJ0cGFXOTVNRWhsTHpJeFQzZzRUVVpIY2xOR1NVSnNiamMyTms5dVNXOHdWRE56ZDIwNVkzQTRVbEEzVWxVek1FTnFZMHR4VGpOM1UyTXZaVTl4Tm1kTEsyTjFZM1ZMVkRKUUwwcEVLeTlwVEdsQlRTdFFLMXBWZEVad1JIRnRLMGxuUTFCR1VraE5XWFZyTWpCU1dGQkdMekZGU0VsTVFrVnpUVEp0TDBsTGNGaENZVmhSZFdwR1IyOXhOMU5sUmtwRE1GWnZaRm8wZGxoT0t6UnBLMFZXUzJwRlRHazBOekl2VVd4TWVsWjJTMmc1ZWtZMUwySnlReTl4ZEVvd2VWQjJiMUJRU2lzeGVYZDBRMWRJUWpaMlR6WkZNVUp4ZDBsNFFXaEdRVnB1V214c2IxQnZabUpUVjBaRGN5dGFiSEJWUTFWU2R6TlBZMGRxT1ZkTk1GTjVObTQwWXpCVmFEYzBjVVF4UjBSUVRXRndSMGxITm14YVlWTk1kWFJIUzBGbVIwUjJXVmhRVXpsc2FrTTFjVkpvU1RrMk9YVlVZbWRMVkVkWFdHeFRZMWxDYmpoVlIySXlTbFprVjA0elIwSmpjVWRTZFcxNlEyUXdkREZ3U0daNGNrODJkQzloTWxjMU1YaDBOVllyUzBsUlRXRTNTRXRyVkU5RllqbFFjQzltVmtJeldTOUJTVEJaTUVSVlRXOVdVR3AyVm1aRFRsTkxlVTVsWVhRMk9FSjFha0ZwYjNaRWRuQXpWVTlvVURoS1JERldOV2d3YUZWMVZHVjRNM2hxTjNGMVdtZGpSV041WVV3cmIxUjNabTFPZG5SaWQycDZkbWRpTjJkQ0x6RldZVVJ2Vm1kM05WcHBia1U0UFE9PTpHcnpsbURORnBzUkdUK2VrZEtLVDVnPT0=
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.
DETeBook com proteção para wookreaderILS
| Property | Description |
|---|---|
| ISBN: | 9783030007041 |
| Publisher: | Springer International Publishing |
| Release Date: | January of 2019 |
| Language: | English |
| Format: | eBook |
| 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
-
10%Communism And Nationalism In Postwar Cyprus, 1945-1955Springer International Publishing AG60,82€ 10% CARDfree shipping
-
10%Advances In Proof TheoryBIRKHAUSER VERLAG AG121,66€ 10% CARDfree shipping