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

Decidability of Parameterized Verification

Name: Decidability of Parameterized Verification
ISBN: 9781627057448

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

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