Hoppa till sidans huvudinnehåll

Integrated Formal Methods

19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings

Häftad, Engelska, 2024

AvNikolai Kosmatov,Laura Kovács,Laura Kovacs

2 089 kr

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


This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK.

Produktinformation

  • Utgivningsdatum2024-11-13
  • Mått155 x 235 x 20 mm
  • Vikt534 g
  • FormatHäftad
  • SpråkEngelska
  • SerieLecture Notes in Computer Science
  • Antal sidor328
  • FörlagSpringer International Publishing AG
  • ISBN9783031765537

Tillhör följande kategorier