|
Showing 1 - 2 of
2 matches in All Departments
This book constitutes the thoroughly revised selected papers from
the 18th International Symposium, FACS 2022, which was held online
in November 2022.The 12 full papers and 1 short paper were
carefully reviewed and selected from 25 submissions. FACS 2021 is
focusing on the areas of component software and formal methods in
order to promote a deeper understanding of how formal methods can
or should be used to make component-based software development
succeed.
This book constitutes the refereed proceedings of the 15th
International Conference on Integrated Formal Methods, IFM 2019,
held in Bergen, Norway, in December 2019. The 25 full papers and 3
short papers were carefully reviewed and selected from 95
submissions. The papers cover a broad spectrum of topics: from
language design to verification and analysis techniques, to
supporting tools and their integration into software engineering
practice including both theoretical approaches and practical
implementations. Also included are the extended abstracts of 6
"journal-first" papers.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.