This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020. Instead the symposium took place virtually due to the COVID-19 pandemic. The 10 regular papers presented together with 3 invited talks in this book were carefully reviewed and selected from 17 submissions. The papers are organized in topical sections such as:...
De Formal Methods: Foundations and Applications is een populaire optie voor Boeken. Esy heeft 1 prijs gevonden, de goedkoopste keuze is volgens ons Bol, maar bekijk de andere aanbieders om het zeker te weten. Links openen in een nieuwe tabblad. Bekijk hier onder de product specificaties. Meer product informatie beschikbaar bij Bol.
Formal Methods: Foundations and Applications is onder andere te koop bij: Bol. Esy raadt altijd aan om meerdere aanbieders te bekijken om geen last minute deals mis te lopen.
Increasing international competition has put improvements in vocational training at the top of many nations' political agendas. This important book explores the economic analysis of training and relat...
The study of German-language culture has been rapidly diversifying to express the vibrant multiplicity of what it is now possible to research, and teach, under the rubric of German Studies. Respondi...