Margaria / Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

sofort lieferbar!

79,17 €

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

auch verfügbar als Buch (Softcover) für 79,17 €

eBook. PDF

eBook

2024

406 S. XIII, 406 p. 113 illus., 87 illus. in color..

In englischer Sprache

Springer Nature Switzerland. ISBN 978-3-031-75380-0

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

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