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