Ankündigung Abbildung von Demri | Concise Introduction to Alternating-Time Temporal Logics | 1. Auflage | 2026 | beck-shop.de

Demri

Concise Introduction to Alternating-Time Temporal Logics

A Guide for Understanding the Model-Checking Problem

Springer

ISBN 978-3-032-11884-4

Zur Nachauflage
Zur Vorauflage

Standardpreis

ca. 53,49 €

Jetzt vorbestellen! Wir liefern bei Erscheinen (Erscheint vsl. Januar 2026)

Preisangaben inkl. MwSt. Abhängig von der Lieferadresse kann die MwSt. an der Kasse variieren. Weitere Informationen

Bibliografische Daten

Fachbuch

Buch. Hardcover

2026

Format (B x L): 15,5 x 23,5 cm

Verlag: Springer

ISBN: 978-3-032-11884-4

Weiterführende bibliografische Daten

Das Werk ist Teil der Reihe: Computer Science Foundations and Applied Logic

Autorinnen und Autoren

Produktsicherheit

Hersteller

Springer Nature Customer Service Center GmbH

ProductSafety@springernature.com

Topseller & Empfehlungen für Sie

Ihre zuletzt angesehenen Produkte

Rezensionen

Dieses Set enthält folgende Produkte:
    Auch in folgendem Set erhältlich:

      • Grafik Warenkorb In den Warenkorb Grafik 4-Wochen-Test für beck-online 4-Wochen-Test bestellen

      Grafik MerklisteAuf die Merkliste Nachricht, wenn verfügbar

      Produktempfehlungen personalisieren

      Ihre Vorteile:

      • Empfehlungen basierend auf ihren Interessen
      • Zeitersparnis durch passende Vorschläge

      Mehr informationen zu , , und

      Die ersten personalisierten Empfehlungen erhalten Sie nach zwei bis drei Klicks.

      Sie können diese Zustimmung zu einem späteren Zeitpunkt unproblematisch über die Datenschutz-Einstellungen wieder zurückziehen.

      nach oben
      X

      Das Passwort muss mind. 8 Zeichen enthalten.
      (Darin sollte mind. ein Groß- und ein Kleinbuchstabe und mind. eine Ziffer enthalten sein.)

      Schließen

      Ihre Daten werden geladen ...