£44.99

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Price: 44.99 GBP
Availability: InStock
ISBN: 9783030634063

22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings

Compilers and interpreters Software Engineering Applied computing Mathematical theory of computation Artificial intelligence Natural language and machine translation

Collection: Lecture Notes in Computer Science

Language: English

Published by: Springer

Published on: 18th December 2020

Format: LCP-protected ePub

Size: 16 Mb

ISBN: 9783030634063

Conference Details

This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021.

Content Overview

The volume includes 16 full and 4 short papers presented alongside 1 doctoral symposium paper. These were carefully reviewed and selected from 41 submissions.

Topics Covered

The papers cover theory and applications in formal engineering methods together with case studies. They also represent the recent development in the use and development of formal engineering methods for software and system development.

Show more Show less