Número de Cutter-SanbornB652dEntrada «Blod» → 652 · marca de obra “d”

Decidability of Parameterized Verification

Name: Decidability of Parameterized Verification
ISBN: 9783031008832

Autor	Roderick Bloem, Swen Jacobs, Ayrat Kalimov, Igor Konnov
Editorial	Springer International Publishing AG
Fecha de publicación	2015
Idioma	inglés
ISBN-13	9783031008832
Número de Cutter	`B652d`

Decidability of Parameterized Verification (2015) — ISBN 9783031008832 | Cutter Number