Todos los 1 Grigore Rosu-Owolabi Legunsen lanzamientos en...
Categorías
Otros
Atención al cliente
MXN
![Cover for Grigore Rosu-Owolabi Legunsen · Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings - Lecture Notes in Computer Science (Paperback Book) [1st ed. 2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/760/9783031150760.jpg?grigore-rosu-owolabi-legunsen-2022-model-checking-software-28th-international-symposium-spin-2022-virtual-event-may-21-2022-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1749559257)