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)

$59.69

Save:$8.58 (13%)

Quantity

20+ in stock

More Information

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

ISBN 10: 303012987X
ISBN 13: 9783030129873