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
VlRaRlpVc3lObEl5TUhFMmFYZG9iMHh0V1dwbVFVcG1lbk5HZUhsa2JVTkJUVU5tVFV3MlFqVlNSR0U0ZWpsR2QyaFdSVXM0YTFsMFZWUlhTRWxwYld4UFEyaHlNRzVKZWpOM04zUkxNMHB5TVVwb1lreEpSbXBrT0RVeVpGUTJOa0phYzJrclVIbGtNVmhoUm0xVFRHMDNhMjFKTURZM2JISk1NMHd6V0RWSlUwVXdWVlV5V1N0RmFuWk1ibEF4UzBWYWNqSkNWU3RGVTNZelduQndaV1ppVHpORE4ybDVOalJLWm1GUGJWVXpTRzFYU1doRVFqazVVRGxwTUVSNlVXTlBlVmtyVnpsVWMzZFJjRlJNYVdadmNVdHFZVzEwUkZScFdIRm5ZVE5sU0RZeEwzQmtiMUpLTkZGblNrVjNjMnRNWkhrd01GWXhSRTV6VG13MFZqQlpVMGgxTlRkM1dXd3JVbFF4YVdKbVlVdE5UM2xYTjFKaVUyNVVRbEZGYzFadk5rZFFVRlpHU0N0RVoweFNhVVJaT0RnMWFsSlFWRTA1YjJKVUt5OW9iak0yUm00emVsbHlkRmRTUnpFMWF6azRWblJYUkZKVU4xcFZNV2hGZFNzNVVXMTFhMU5yWlZOdGJqQkdUMnN3UzBwcmFYaGlTV3B6TVRoWVJqZFRaa1ZuTkhwUEwzTm5URzlxWm1kdU5FYzJiRUV6UzJweVMzcHhNR3gxTlZWNlpXMXZSR2xrSzA5TVVrVjNkV1p1TVhaTU0zWjNXWHBaU1RSM2N6WTVNekl6WVhKUlRteExUakUzWVVSTlR6WkhTazFaUTJ4aU1FOVNWRzR3VVhrcmJWRkpSR1F3VmxWb00yNUhORFF2V1VwWmMwWXpTMmhXWVVVMFpVRTJPR0V5U1UxMk5rRmpWR1ZPUVhOVlR5dHBOVkV4ZURZMGVIaG9VVEpqYzJjek5GSmlhalJFWWtoVmNWTkNNa2d6TTI5dE5tWkdLMUV4UTJZM1FXcFVUVFYyVXpWVlVVRmxWVlV5WmtFMmNUTnliMUZXZFV4c1VqQTFabXBTZDA5ck9UUlBSVkZLYmxWME5Gb3pZWE14VGxsb1NqSjNZMGRsUjJSRU9WWkhiMHRvVld4bWQydHljMWxQVFRScE5XNU5jRXRYUkhWbVdVZDRkR3RNYVdwWVNrMVRXSEZZTVdodWNGTlFkazRyVVc1MVNDc3liWFZQWWtwdFUzVlRhR1k0WkVWVmFtVlVUR1pFVUdSeFNXRnFWblJGZDFGTlMyMVFhMHhZWW1rNWVXSktiWHBqVFROdVRubHVOeTkzUFE9PTpNT2wwQURITGVVNWxudWpjM0s4eGJnPT0=
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: | 9781316727164 |
| Publisher: | CAMBRIDGE UNIVERSITY PRESS |
| Release Date: | October of 2016 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | |
| Collection: | Cambridge Tracts In Theoretical Computer Science |
| Categories: |
eBooks in English
>
Computing
>
Schedule
|
| EAN: | 9781316727164 |
| Acessibilidade: | Ver características de acessibilidade indicadas pelo editor |
BOOKS FROM THE SAME COLLECTION
-
10%Initial Algebras And Terminal CoalgebrasCAMBRIDGE UNIVERSITY PRESS188,59€
209,54€free shipping -
10%Topological Duality For Distributive LatticesCAMBRIDGE UNIVERSITY PRESS82,74€
91,93€free shipping
-
10%Automata Theory And LogicSpringer Fachmedien Wiesbaden48,65€
54,06€free shipping
-
10%Concise Introduction To Alternating-Time Temporal LogicsSpringer Nature Switzerland AG54,74€
60,82€free shipping