Ankündigung Grafik für das Drucken der Seite Abbildung von Ogata / Mery | Formal Methods and Software Engineering | 1. Auflage | 2024 | 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. Dezember 2024)

ca. 79.17 €

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

Fachbuch

Buch. Softcover

2024

x, 390 S. 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

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

        Ihre Daten werden geladen ...