Maurice H. ter Beek,
Annabelle McIver,
José N. Oliveira
Formal Methods – The Next 30 Years
Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Paperback Engels 2019 9783030309411
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019.
The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; Verification; Synthesis Techniques; Concurrency; Model Checking Circus; Model Checking; Analysis Techniques; Specification Languages; Reasoning Techniques; Modelling Languages; Learning-Based Techniques and Applications; Refactoring and Reprogramming; I-Day Presentations.
Specificaties
ISBN13:9783030309411
Taal:Engels
Bindwijze:paperback
Aantal pagina's:820
Uitgever:Springer International Publishing
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
<p>Invited Presentations.- Verification.- Synthesis Techniques.- Concurrency.- Model Checking Circus.- Model Checking.- Analysis Techniques.- Specification Languages.- Reasoning Techniques.- Modelling Languages.- Learning-Based Techniques and Applications.- Refactoring and Reprogramming- I-Day Presentations.</p>
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan