Formal Methods for Industrial Critical Systems

  • Nyhet

30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings

Häftad, Engelska, 2025

Av Anne Remke, Bernhard Steffen

989 kr

Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

  • Utgivningsdatum2025-08-28
  • Mått155 x 235 x 17 mm
  • Vikt470 g
  • FormatHäftad
  • SpråkEngelska
  • SerieLecture Notes in Computer Science
  • Antal sidor297
  • FörlagSpringer Nature Switzerland AG
  • ISBN9783032009418