Ankündigung Grafik für das Drucken der Seite Abbildung von Ogata / Mery | Formal Methods and Software Engineering | 1. Auflage | 2025 | 15394 | beck-shop.de

Ogata / Mery / Sun / Liu

Formal Methods and Software Engineering

25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings

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

Rezensionen ansehen

Standardpreis

ca. 70,61 €

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

Fachbuch

Buch. Softcover

2025

xi, 397 S. 98 s/w-Abbildungen, Bibliographien.

In englischer Sprache

Springer. ISBN 9789819606160

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

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

Produktbeschreibung

This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024.

The 22 full papers presented were carefully reviewed and selected from 50 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods

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:

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