Formal Techniques for Safety-Critical Systems

Author: Edited by Frederic Mallet Edited by Osman Hasan

SKU: 9783030469016 Category:
Quantity Discount Offer
Buy any 2 books Get 5% Off 5%
Buy any 3 books Get 7% Off 7%
Buy any 4 or more books Get 10% Off 10%
Sale!

£ 78.25

Out of stock

Description

This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019. The 6 revised full papers presented were carefully reviewed and selected from 17 submissions.

Additional information

Weight 454 g
Author

Edited by Frederic Mallet Edited by Osman Hasan

Publisher

Springer Nature Switzerland AG

Binding

Paperback / softback

ISBN-10

3030469018

Dimensions

235 x 155

Language

English

Country of Pub

Switzerland

Book Condition

New

Notes

23 Illustrations, color; 58 Illustrations, black and white; VIII, 141 p. 81 illus., 23 illus. in color.; 23 Illustrations, color; 58 Illustrations, black and white; VIII, 141 p. 81 illus., 23 illus. in color.

Reviews

There are no reviews yet.

Only logged in customers who have purchased this product may leave a review.