Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

Owolabi Legunsen , Grigore Roșu
Noch keine Bewertungen
Aug 23, 2022 · Englisch · Taschenbuch (162 Seiten)
Zum Regal hinzufügen

Bewerte dieses Buch


Buchjournal exportieren

Rezensionen

Noch keine Rezensionen

Sei der Erste, der dieses Buch rezensiert und deine Gedanken teilt

Anmelden um zu rezensieren
Zum Regal hinzufügen

Bewerte dieses Buch


Buchjournal exportieren