Hoppa till sidans huvudinnehåll

Del 13130

Formal Methods: Foundations and Applications

24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings

Häftad, Engelska, 2021

AvSérgio Campos,Marius Minea,Sergio Campos

789 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 refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021.

Produktinformation

  • Utgivningsdatum2021-11-26
  • Mått155 x 235 x 9 mm
  • Vikt242 g
  • FormatHäftad
  • SpråkEngelska
  • SerieLecture Notes in Computer Science
  • Antal sidor141
  • FörlagSpringer Nature Switzerland AG
  • ISBN9783030921361

Tillhör följande kategorier

Hoppa över listan

Du kanske också är intresserad av

  • Bokrea
Del 1

Klanen

Pascal Engman

Inbunden

99 kr299 kr

  • Bokrea

17 juni

Alex Schulman

Inbunden

119 kr329 kr