Formal Methods: Foundations and Applications
24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings
Häftad, Engelska, 2021
809 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