Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected ... in Computer and Information Science)

Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected ... in Computer and Information Science)

by Cyrille Artho (Editor), Peter Csaba Ölveczky (Editor)

$68.05

Save:$4.92 (7%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 192
Edition: 1st ed. 2019
Publisher: Springer
Published: 02 Feb 2019

ISBN 10: 303012987X
ISBN 13: 9783030129873