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