Formal Methods for Software Engineering: Languages, Methods, Application Domains 9783030388003, 9783030387990, 303038800X

Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings 3030634051, 9783030634056

This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, he

531 7 12MB Read more

Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, ... (Lecture Notes in Computer Science, 2495) 3540000291, 9783540000297

This book constitutes the refereed proceedings of the 4th International Conference on Formal Engineering methods, ICFEM

120 24 7MB Read more

Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November ... (Lecture Notes in Computer Science) 9819975832, 9789819975839

This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, I

99 24 19MB Read more

Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings (Lecture Notes in Computer Science) 3031172434, 9783031172434

This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, he

107 19 12MB Read more

Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings (Lecture Notes in Computer Science) 3030634051, 9783030634056

This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, he

121 42 13MB Read more

Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November ... (Lecture Notes in Computer Science, 4789) 3540766480, 9783540766483

This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM

122 117 17MB Read more

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... (Lecture Notes in Computer Science, 3965) 3540343040, 9783540343042

This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the Internation

118 1 3MB Read more

Formal methods. An appetizer 9783030051556

365 128 1MB Read more

FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, ... (Lecture Notes in Computer Science, 2021) 3540417915, 9783540417910

FME 2001 is the tenth in a series of meetings organized every eighteen months by Formal Methods Europe (FME), an indepen

104 31 6MB Read more

Component-Based Software Engineering: Methods and Metrics 0367354888, 9780367354886

This book focuses on a specialized branch of the vast domain of software engineering: component-based software engineeri

410 57 11MB Read more