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

Challenges of Software Verification

Name: Challenges of Software Verification
ISBN: 9789811996009

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

Challenges of Software Verification (2023) — ISBN 9789811996009 | Cutter Number