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