Neu Erschienen: 04.09.2024 Grafik für das Drucken der Seite Abbildung von Sekerinski / Ribeiro | Formal Methods Teaching | 1. Auflage | 2024 | beck-shop.de
eBook

Sekerinski / Ribeiro

Formal Methods Teaching

6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

sofort lieferbar!

Rezensionen ansehen

Standardpreis

40.65 €

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

Grafik Warenkorb In den Warenkorb Grafik Merkliste Auf die Merkliste

auch verfügbar als Buch (Softcover) für 40.65 €

eBook. PDF

eBook

2024

141 S. IX, 141 p. 39 illus., 34 illus. in color..

In englischer Sprache

Springer International Publishing. ISBN 978-3-031-71379-8

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

Produktbeschreibung

This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024.

The 7 full papers included in these proceedings were carefully reviewed and selected from 9 submissions. The book also contains one invited talk in full paper length. The papers focus on learning formal methods for the purpose of teaching and 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 ...