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

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

Georgiana Caltais Christian Schilling

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.

Denna produkt går inte att reservera, köp den gärna online!

  • 212 sidor
  • 2023
  • Författare: Georgiana Caltais, Christian Schilling
  • Format: Perfect
  • ISBN: 9783031321580
  • Språk: Engelska
  • Antal sidor: 212
  • Utgivningsdatum: 2023-05-02
  • Förlag: Springer