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

Decidability of Parameterized Verification

Name: Decidability of Parameterized Verification
ISBN: 9781627057431

Autor	Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov
Editorial	Morgan & Claypool Publishers
Fecha de publicación	2015
Idioma	inglés
ISBN-13	9781627057431
Número de Cutter	`B652d`

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