Número de Cutter-SanbornA655vEntrada «Apt» → 655 · marca de obra “v”

Verification of Sequential and Concurrent Programs

Name: Verification of Sequential and Concurrent Programs
ISBN: 9781848827462

Autor	Krzysztof Apt, Frank S. de Boer, Amir Pnueli
Editorial	Springer
Fecha de publicación	May 03, 2010
Páginas	528
Formato	paperback
ISBN-13	9781848827462
ISBN-10	1848827466
Número de Cutter	`A655v`

Verification of Sequential and Concurrent Programs (2010) — ISBN 9781848827462 | Cutter Number