Número de Cutter-SanbornB152pEntrada «Bai» → 152 · marca de obra “p”

Principles of Model Checking

Name: Principles of Model Checking
ISBN: 9780262304030

Autor	Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen
Editorial	MIT Press
Fecha de publicación	2008
Idioma	inglés
Páginas	984
ISBN-13	9780262304030
Número de Cutter	`B152p`

Principles of Model Checking (2008) — ISBN 9780262304030 | Cutter Number