Communications in Computer and Information Science Ser.: Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers by édéric Mallet (2020, Trade Paperback)

BOOKS etc. (541773)

99.5% positive Feedback

Price:

£39.64

Free postage

Estimated delivery Fri, 1 Aug - Fri, 8 Aug

Returns:

60 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.

Condition:

New

ISBN-13: 9783030469016, 978-3030469016. in November 2019. The 6 revised full papers presented were carefully reviewed and selected from 17 submissions. code generation from validated models. Formal Techniques for Safety-Critical Systems.

About this product

Product Identifiers

PublisherSpringer International Publishing A&G

ISBN-103030469018

ISBN-139783030469016

eBay Product ID (ePID)26046708320

Product Key Features

Number of PagesViii, 141 Pages

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

LanguageEnglish

SubjectExpert Systems, Computer Simulation, Computer Science, Networking / General, Intelligence (Ai) & Semantics

Publication Year2020

TypeTextbook

Subject AreaComputers

AuthorÉdéric Mallet

SeriesCommunications in Computer and Information Science Ser.

FormatTrade Paperback