Formal Techniques for Safety-Critical Systems: 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers
Author:   Osman Hasan ,  Frédéric Mallet
Publisher:   Springer Nature Switzerland AG
Edition:   2020 ed.
Volume:   1165
ISBN:  

9783030469016


Pages:   141
Publication Date:   26 April 2020
Format:   Paperback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $116.41 Quantity:  
Add to Cart

Share |

Formal Techniques for Safety-Critical Systems: 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers


Overview

Full Product Details

Author:   Osman Hasan ,  Frédéric Mallet
Publisher:   Springer Nature Switzerland AG
Imprint:   Springer Nature Switzerland AG
Edition:   2020 ed.
Volume:   1165
Weight:   0.454kg
ISBN:  

9783030469016


ISBN 10:   3030469018
Pages:   141
Publication Date:   26 April 2020
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

NOV RG 20252

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now