Número de Cutter-SanbornC597hEntrada «Clarke» → 597 · marca de obra “h”

Handbook of Model Checking

Name: Handbook of Model Checking
ISBN: 9783319105741

Autor	Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem
Editorial	Springer International Publishing AG
Fecha de publicación	2018
Idioma	inglés
ISBN-13	9783319105741
Número de Cutter	`C597h`

Handbook of Model Checking (2018) — ISBN 9783319105741 | Cutter Number