Bokus
Georgiana Caltais, Christian Schilling - Model Checking Software : 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings, Övrigt

Övrigt, Engelska, 2023

Model Checking Software : 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings

Av Georgiana Caltais, Christian Schilling

652 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Beskrivning
Produktinformation
  • Utgivningsdatum: 2023-05-02
  • Format: Övrigt
  • Språk: Engelska
  • Antal sidor: 212
  • Förlag: Springer
  • ISBN: 9783031321580
Utforska kategorier
  • Inga kategorier tillgängliga.
Betyg & recensioner

0 recensioner

Inga recensioner tillgängliga.