Skip to content
Home/ Software Engineering and Formal Methods: 18th International Conference, Sefm 2020, Amsterdam, the Ne
Software Engineering and Formal Methods: 18th International Conference, Sefm 2020, Amsterdam, the Ne
Save Ask us

Software Engineering and Formal Methods: 18th International Conference, Sefm 2020, Amsterdam, the Ne

No customer reviews yet ISBN 9783030587673
Published
Sep 2020
Language
English
$62.66
In stock
Most orders arrive within 3 weeks. Shipping policy
Qty
Sign in to Add to Saved list
Free delivery over $35 · 15-day returns

Condition

Brand New

An unread, unused copy: no writing or highlighting, and no missing or damaged pages. Every book we sell is brand new, including our lowest-priced titles.

About this book

This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.

The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. The papers address a wide range of systems, such as IoT systems, human-robot interaction in healthcare scenarios, navigation of maritime autonomous systems, and operating systems.
The Chapters "Multi-Purpose Syntax Definition with SDF3", "FRed: Conditional Model Checking via Reducers and Folders" and "Difference Verification with Conditions" are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Specifications

PublishedSep 12, 2020
ISBN-103030587673
ISBN-139783030587673
LanguageEnglish

Buying from Saanjhi

  • Ships from the USA. Delivery to US addresses only.
  • Free delivery on orders over $35.
  • 15-day returns. Unless we send the wrong book or it arrives damaged, you pay return shipping and a 15% restocking fee.
  • Secure checkout. We never store card details.

Readers who bought this also bought

More from Computers | Software Development & Engineering | Quality Assurance & Testing
See all