Bokdetaljer
Format
Kindle
Sidor
518
Språk
Engelska
Publicerad
Oct 13, 2017
Förlag
Springer
ISBN-10
3319686909
ISBN-13
9783319686905
Beskrivning
Held in Xi'an, China, this volume brings together a wealth of insights from the 19th International Conference on Formal Engineering Methods. With contributions from leading researchers, it explores the latest advancements in formal methods and their application in software engineering.
Readers will find carefully selected, peer-reviewed papers that showcase innovative approaches to enhancing software quality through rigorous methods. The discussions encompass various topics, aiming to bridge the gap between theoretical developments and practical applications in the software development process.
As a compilation of cutting-edge research, this work serves as an invaluable resource for academics, practitioners, and anyone passionate about the evolution of software engineering practices. Through its comprehensive coverage, it aims to inspire further innovation in this dynamic field.
Readers will find carefully selected, peer-reviewed papers that showcase innovative approaches to enhancing software quality through rigorous methods. The discussions encompass various topics, aiming to bridge the gap between theoretical developments and practical applications in the software development process.
As a compilation of cutting-edge research, this work serves as an invaluable resource for academics, practitioners, and anyone passionate about the evolution of software engineering practices. Through its comprehensive coverage, it aims to inspire further innovation in this dynamic field.
Genrer
Vetenskap & Teknik