Owolabi Legunsen – författare
Visar alla böcker från författaren Owolabi Legunsen. Handla med fri frakt och snabb leverans.
2 produkter
Model Checking Software
28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings
Av Owolabi Legunsen, Grigore Rosu
Häftad, 2022
1126 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.The 8 full papers were carefully reviewed and selected from 11 submissions. Topics covered include formal verification techniques for automated …
Model Checking Software
28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings
Av Grigore Rosu, Owolabi Legunsen
E-bok, 2022
1470 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022. The 8 full papers were carefully reviewed and selected from 11 submissions. Topics covered include formal verification techniques for automated …
