Concise Guide to Software Verification : From Model Checking to Annotation Checking
(Autor) Marieke Huisman
Formato:
Hardcover
69,99
Precio: £69,99
(0% off)
Information
Editorial:
Springer International Publishing AG
Formato:
Hardcover
Número de páginas:
None
Idioma:
en
ISBN:
9783031301667
Año de publicación:
2023
Fecha publicación:
25 de Julio de 2023