Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications

- 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings

del av Lecture Notes in Computer Science-serien

del av Programming and Software Engineering-serien

Formal Methods: Foundations and Applications
Om Formal Methods: Foundations and Applications

This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783030638818
  • Format:
  • Häftad
  • Sidor:
  • 229
  • Utgiven:
  • 20. november 2020
  • Utgåva:
  • 12020
  • Mått:
  • 155x235x0 mm.
  • Vikt:
  • 454 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 11. december 2024

Beskrivning av Formal Methods: Foundations and Applications

This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020.

Användarnas betyg av Formal Methods: Foundations and Applications



Andra köpte även...
Hitta liknande böcker
Boken Formal Methods: Foundations and Applications finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.