Número de Cutter-SanbornS115sEntrada «Sabe» → 115 · marca de obra “s”

Semantic models for the security of sequential and concurrent programs

Name: Semantic models for the security of sequential and concurrent programs
ISBN: 9162848526

Autor	Andrei Sabelfeld
Editorial	Dept. of Computing Science, Göteburg Univ.
Fecha de publicación	2001
Lugar	Göteborg
Idioma	inglés
Páginas	149
ISBN-10	9162848526
OCLC	48718506
Número de Cutter	`S115s`

Semantic models for the security of sequential and concurrent programs (2001) — ISBN 91628 | Cutter Number