Número de Cutter-SanbornA668cEntrada «Arc» → 668 · marca de obra “c”

Challenges of Software Verification

Name: Challenges of Software Verification
ISBN: 9789811996030

Autor	Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara, Martina Olliaro
Editorial	Springer
Fecha de publicación	2024
Idioma	inglés
ISBN-13	9789811996030
Número de Cutter	`A668c`

Challenges of Software Verification (2024) — ISBN 9789811996030 | Cutter Number