Grafik für das Drucken der Seite Abbildung von Dubois / San Pietro | Formal Methods Teaching | 1. Auflage | 2023 | 13962 | beck-shop.de

Dubois / San Pietro

Formal Methods Teaching

5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Rezensionen ansehen

Standardpreis

58,84 €

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

Grafik Warenkorb In den Warenkorb Express-Kauf (Jetzt aktivieren) Grafik Merkliste Auf die Merkliste

Fachbuch

Buch. Softcover

2023

ix, 105 S. 49 s/w-Abbildungen, 20 Farbabbildungen, Bibliographien.

In englischer Sprache

Springer. ISBN 978-3-031-27533-3

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

Gewicht: 191 g

Das Werk ist Teil der Reihe: Lecture Notes in Computer Science; 13962

Produktbeschreibung

This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lübeck, Germany, in March 2023.
The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions. FMTea 2023 aim is to support a worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning.
Mehr anzeigen

Topseller & Empfehlungen für Sie

Ihre zuletzt angesehenen Produkte

Autorinnen/Autoren

    • Rezensionen

    Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
        • 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 ...