Formal Methods
ISBN 10: 3319955810 ISBN 13: 9783319955810
Published by Springer, 2018
New
Soft cover
From
Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since June 24, 2016
This specific item is no longer available.
About this Item
Description:
New. Delivery takes 25-30 days. Excellent Customer Service. Seller Inventory # POD-218236
Synopsis:
This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.
The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The papers cover a broad range of topics in the following areas: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software systems engineering; and theoretical foundations.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Formal Methods
Publisher: Springer
Publication Date: 2018
Binding: Soft cover
Condition: Brand New