Hoppa till sidans huvudinnehåll

Formal Methods for Industrial Critical Systems

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

Häftad, Engelska, 2025

AvAnne Remke,Bernhard Steffen

959 kr

Beställningsvara. Skickas inom 10-15 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