Turite paskyrą?
Prisijunkite norėdami greičiau patikrinti.
Įkeliama...
🎁 Nemokamas pristatymas nuo 23 € 🎁
Marieke Huisman
Turime sandėlyje
Nepavyko įkelti atsiėmimo pasiekiamumo
Concise Guide to Software Verification by Marieke Huisman, Anton Wijs.
Published by Springer International Publishing AG, (2023), Hardback, 248 pages.
Topics: Mathematics.
Concise Guide to Software Verification