Christian Schilling – författare
Visar alla böcker från författaren Christian Schilling.
2 produkter
2 produkter
Del 13872 - Lecture Notes in Computer Science
Model Checking Software
29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings
Häftad, Engelska, 2023
779 kr
Skickas inom 10-15 vardagar
Del 14846 - Lecture Notes in Computer Science
AI Verification
First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings
Häftad, Engelska, 2024
1 869 kr
Skickas inom 5-8 vardagar