Hoppa till sidans huvudinnehåll

Del 12327

Formal Methods for Industrial Critical Systems

25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings

Häftad, Engelska, 2020

AvMaurice H. ter Beek,Dejan Ničković,Dejan Nickovic,Maurice H. Ter Beek,Dejan Ničkovic,Dejan Ni¿kovi¿

709 kr

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


This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020.

Produktinformation

  • Utgivningsdatum2020-08-29
  • Mått155 x 235 x 18 mm
  • Vikt482 g
  • FormatHäftad
  • SpråkEngelska
  • SerieLecture Notes in Computer Science
  • Antal sidor289
  • FörlagSpringer Nature Switzerland AG
  • ISBN9783030582975
Hoppa över listan

Du kanske också är intresserad av

Del 12399

Runtime Verification

Jyotirmoy Deshmukh, Dejan Ničković, Dejan Nickovic, Dejan Ničkovic, Dejan Ni¿kovi¿

Häftad

709 kr