Hoppa till sidans huvudinnehåll

Del 13077

Formal Aspects of Component Software

17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings

Häftad, Engelska, 2021

AvGwen Salaün,Anton Wijs,Gwen Salaun

639 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 thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021. The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions and are presented in the volume together with 1 invited paper.

Produktinformation

  • Utgivningsdatum2021-11-05
  • Mått155 x 235 x 11 mm
  • Vikt295 g
  • FormatHäftad
  • SpråkEngelska
  • SerieLecture Notes in Computer Science
  • Antal sidor175
  • FörlagSpringer Nature Switzerland AG
  • ISBN9783030906351
Hoppa över listan

Du kanske också är intresserad av

Del 9641

Model Checking Software

Dragan Bošnački, Anton Wijs, Dragan Bosnacki, Dragan Bosnački, Dragan Bošnacki, Dragan Bo¿na¿ki

Häftad

709 kr