Christian Schilling - Böcker

Visar alla böcker från författaren Christian Schilling.
3 produkter
Georgiana Caltais, Christian Schilling - Model Checking Software, Häftad
Del 13872 - Lecture Notes in Computer Science

Model Checking Software

Av Georgiana Caltais, Christian Schilling

Häftad, Engelska, 2023

789 kr

Skickas inom 7-10 vardagar
Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling - AI Verification, Häftad
Del 14846 - Lecture Notes in Computer Science

AI Verification

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

Häftad, Engelska, 2024

2 179 kr

Skickas inom 5-8 vardagar