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

AvGeorgiana Caltais,Christian Schilling

Engelska, 2023

634 kr

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

Produktinformation

Hoppa över listan

Du kanske också är intresserad av

Del 14846

AI Verification

Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling

Häftad

1 413 kr

  • Nyhet
Del 3

Rivaler i Rom

Anders de la Motte, Anette de la Motte

Inbunden

249 kr