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
799 kr
Skickas inom 10-15 vardagar
Christian Schilling – författare
Visar alla böcker från författaren Christian Schilling.
3 produkter
3 produkter
- 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, 20241 919 kr
Skickas inom 5-8 vardagar
- Del 16831 - Lecture Notes in Computer Science
AI Verification
Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24–25, 2026, Proceedings
Häftad, Engelska, 2026979 kr
Skickas inom 5-8 vardagar