adicionar à lista de desejos
Temporal Logics In Computer Science eBook
Finite-State Systems
language: english
Publisher:
CAMBRIDGE UNIVERSITY PRESS, October of 2016 ‧
see product details
155,03€
10% OFF
CARD
U21VMWFpdHlPV2RPTTJsaFozVmpaM2xNVUdZNFVVcHVhbXQ0ZVZFNVFuVldZVFE1ZWtkMloyNHlTVmtyZGt0dmMzQm1jM05rU0VOcFNFZFRhelZUT1hkMVVrVkliSEZET1RRck1HRkJSVXBFZURneGVIWmtRMVZ5SzB0a0x5OVhlRXh1VVhWWVZYbHRkRkJoZEdWaVIzSkdjRVJxVm5oUlNtSkdPRmRzVlRWWmJXTXJZblpVTldkSlZHbFdNV1V2VDNKQmJXeFFaRVEwY0hoM01VSjFiRGQxUkhWMFVXOVJZblFyY1RoVUswRjNMemxQT1ZoSGVIcFdUSGhxWkVobVFYaFRWVFpGWlVSbFQyTjJhR04yTjNBek16UndkVFkyVWt4WlZXeElUMVE1YmxoSFJGSmphbWR3UWpoNGNsVlVWRFo2TlU1VWRraG1UMGhhU0dkRldrUnFiMDV5U1hGTk0zaEdSR05wZEZsRVpYcHZNbEZ5TmtFM0wwMTJWWEZPY1VsU1FqbE9hM2RuY25Vd05VVTNWV05UWTBjd2QzaE9iM2czY2tSamNXd3ZPRk5hVVVZeFVUTkRVRUZUWWt0SmNFOVJjRXMxTm10UksxbDNSRlUzWjFkSlpHaGtSV1lyY2poUmIxaHJlVGg2U0hCWFVWVlNhVXh6Vm5BeFpVOUNZWFZsZEdrelVXUmFkR0owUmprMVJUZFViVFJ2U25aMFpVODJjMFExZGlzMWExTk9aa1Z5YjNWVGNYSm9WRWt6Wm13MmFVRkpVa3MyVEd4d1pURm5NWEIwUTAxbFQwZFVkVTFKV1U1Tk9EWkNWbXhRZEhaS1UzTXJUM3BPVGt0dFJIVmxhVXRyTDBWSU5tdEhZblZRTTJwcVFXRlJPRmt4VVdadVRXd3hUV0ZpWWxVdmRrMHJiV2hTVWxWdloydFVaMGxDTmtWbmNqRjZNbkYyWjBkc1kzcFNORVZQZGxrNEszTktVMGh2UmxkR1NYVkNTM1F3VlVwNGFHZFFZMFUxVDB4cWNIRTFjV2RwWkVOT2JEQkdURU1yVjI5WE1ETklSbFo1VlZCTVdWWmhiRGxOVFdSWU9GWkJSWEpHVTJKYVMwaGhRMEpPZFRGTU56VnVLMWRDYUdsQlVESkNhMFIxZURZMFdUVnVPWEExY0Rnd05VOUpSMEYyT1VKU09HNXFXVkphV25wVE4wNXlabFlyVEU1RVQxQjBTVnAwUlRSTVNtMWlURGhPUzNseVZVWm1aRlpqUjFwVGNHWk5WMHhGVUN0aE5rUnlaakU0ZWpZMFVWZFFWMlJCU0RGWE9FMXdiREl3UFE9PTpCQmwySUE0L1lES2Zyc0ZSR0VYMlR3PT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. It is a solid professional reference for researchers in the field and a graduate textbook that can be used for self-study as well as for teaching courses.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9781316728567 |
| Publisher: | CAMBRIDGE UNIVERSITY PRESS |
| Release Date: | October of 2016 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Collection: | Cambridge Tracts In Theoretical Computer Science |
| Categories: |
eBooks in English
>
Computing
>
Schedule
|
| EAN: | 9781316728567 |
BOOKS FROM THE SAME COLLECTION
-
Initial Algebras And Terminal Coalgebras10%CAMBRIDGE UNIVERSITY PRESS188,59€
209,54€free shipping -
Topological Duality For Distributive Lattices10%CAMBRIDGE UNIVERSITY PRESS82,74€
91,93€free shipping
-
Automata Theory And Logic10%Springer Fachmedien Wiesbaden48,65€
54,06€free shipping
-
Concise Introduction To Alternating-Time Temporal Logics10%Springer Nature Switzerland AG54,74€
60,82€free shipping