Fortell venner om denne varen:
Concise Introduction to Alternating-Time Temporal Logics: A Guide for Understanding the Model-Checking Problem - Computer Science Foundations and Applied Logic Stephane Demri
Har du en profil? Logg inn
Få varsel om nye utgivelser fra Stephane Demri
Legg til iMusic ønskeliste
eller
Concise Introduction to Alternating-Time Temporal Logics: A Guide for Understanding the Model-Checking Problem - Computer Science Foundations and Applied Logic
Stephane Demri
| Media | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 28. april 2026 |
| ISBN13 | 9783032118844 |
| Utgivere | Springer Nature Switzerland AG |
| Antall sider | 202 |
| Mål | 150 × 220 × 20 mm · 487 g |
| Språk | Tysk |
![Cover for Deborah Morrison · Brave Work in the Age of Climate Change: A Creative's Guide to Making Compelling Advertising and Brand Messages in Complicated Times (Pocketbok) [2022 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Robert Sobot · Engineering Mathematics by Example: Vol. II: Calculus (Innbunden bok) [Third Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/956/9783032046956.jpg?robert-sobot-2027-engineering-mathematics-by-example-vol-ii-calculus-innbunden-bok&class=scaled&v=1782149966)
![Cover for Natural Gas, Renewable Methan and E-Fuels for Powertrains: Monovalent and Dual-Fuel Combustion of Gaseous and Liquid Fuels—Future Strategies for Climate-Neutral Mobility - Powertrain (Innbunden bok) [Second Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/399/9783032056399.jpg?2027-natural-gas-renewable-methan-and-e-fuels-for-powertrains-monovalent-and-dual-fuel-combustion-of-gaseous-and-liquid-fuels-future-strategies-for-climate-neutral-mobility-powertrain-innbunden-bok&class=scaled&v=1774922074)
![Cover for Matthew Harker · Fractional Differential Equations: Numerical Methods for Applications - Studies in Systems, Decision and Control (Innbunden bok) [2021 edition] (2027)](https://imusic.b-cdn.net/images/item/original/769/9783030323769.jpg?matthew-harker-2027-fractional-differential-equations-numerical-methods-for-applications-studies-in-systems-decision-and-control-innbunden-bok&class=scaled&v=1604147403)
![Cover for Jurgen H. Gross · Mass Spectrometry: A Textbook (Innbunden bok) [Fourth Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/162/9783032292162.jpg?jurgen-h-gross-2027-mass-spectrometry-a-textbook-innbunden-bok&class=scaled&v=1780453452)
