Número de Cutter-SanbornW246aEntrada «Wang» → 246 · marca de obra “a”

Abstraction Refinement for Large Scale Model Checking

Name: Abstraction Refinement for Large Scale Model Checking
ISBN: 9781489993953

Autor	Chao Wang, Gary D. Hachtel, Fabio Somenzi
Editorial	Springer
Fecha de publicación	Dec 06, 2014
Páginas	193
Formato	paperback
ISBN-13	9781489993953
ISBN-10	1489993959
Número de Cutter	`W246a`

Abstraction Refinement for Large Scale Model Checking (2014) — ISBN 9781489993953 | Cutter Number