Número de Cutter-SanbornA787fEntrada «Arth» → 787 · marca de obra “f”

Formal Techniques for Safety-Critical Systems

Name: Formal Techniques for Safety-Critical Systems
ISBN: 9783030129873

6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected ... in Computer and Information Science)

Autor	Cyrille Artho, Peter Csaba Ölveczky
Editorial	Springer
Fecha de publicación	Feb 01, 2019
Páginas	192
Formato	paperback
ISBN-13	9783030129873
ISBN-10	303012987X
Número de Cutter	`A787f`

Formal Techniques for Safety-Critical Systems (2019) — ISBN 9783030129873 | Cutter Number