Christian Schilling – författare

Visar alla böcker från författaren Christian Schilling.

3 produkter

1. 

   Model Checking Software

   29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings

   Av Georgiana Caltais, Christian Schilling

   Häftad, 2023

   779 kr

   Lägg i varukorg

2. 

   AI Verification

   First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings

   Av Guy Avni, Mirco Giacobbe m. fl.

   Häftad, 2024

   1869 kr

   Lägg i varukorg

3. 

   AI Verification

   Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24–25, 2026, Proceedings

   Av Guy Avni, Christian Schilling

   Häftad, 2026

   959 kr

   Lägg i varukorg