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

Principles of Model Checking

Name: Principles of Model Checking
ISBN: 9781435643277

Autor	Christel Baier, Joost-Pieter Katoen
Editorial	MIT Press
Fecha de publicación	2008
Idioma	inglés
ISBN-13	9781435643277
Número de Cutter	`B152p`

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