Número de Cutter-SanbornG887mEntrada «Grul» → 887 · marca de obra “m”

Model Checking, Second Edition

Name: Model Checking, Second Edition
ISBN: 9780262349451

Autor	Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith, Edmund M. Clarke
Editorial	MIT Press
Fecha de publicación	2018
Idioma	inglés
Páginas	424
ISBN-13	9780262349451
Número de Cutter	`G887m`

Model Checking, Second Edition (2018) — ISBN 9780262349451 | Cutter Number