Ankündigung Abbildung von Blanchette / Mahboubi | Proof Assistants and Their Applications in Mathematics and Computer Science | 1. Auflage | 2026 | beck-shop.de

Blanchette / Mahboubi

Proof Assistants and Their Applications in Mathematics and Computer Science

Springer

ISBN 978-3-031-85189-6

Zur Nachauflage
Zur Vorauflage

Standardpreis

ca. 80,24 €

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

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

Bibliografische Daten

Fachbuch

Buch. Hardcover

2026

Umfang: x, 390 S.

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

Verlag: Springer

ISBN: 978-3-031-85189-6

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