Produkt
KlappentextThis book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26-27, 2023. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions.
Details
ISBN/GTIN978-3-031-32156-6
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2023
Erscheinungsdatum02.05.2023
Auflage1st ed. 2023
Seiten199 Seiten
SpracheEnglisch
IllustrationenX, 199 p. 50 illus., 24 illus. in color.
Artikel-Nr.52218561
Rubriken