Abbildung von Schreiner | Concrete Abstractions | 1. Auflage | 2024 | beck-shop.de

Schreiner

Concrete Abstractions

Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Springer

ISBN 978-3-031-24936-5

Zur Nachauflage
Zur Vorauflage

Standardpreis

58,84 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

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

Bibliografische Daten

Fachbuch

Buch. Softcover

2024

Umfang: xii, 271 S.

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

Verlag: Springer

ISBN: 978-3-031-24936-5

Weiterführende bibliografische Daten

Das Werk ist Teil der Reihe: Texts & Monographs in Symbolic Computation

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
      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 ...