Formal Methods: Foundations and Applications More Books by Jim Davies, Leila Silva & Adenilso Simao

Engineering Agile Big-Data Systems Engineering Agile Big-Data Systems
Engineering Agile Big-Data Systems
2022
Riveted Riveted
Riveted
2014
Ghosts and Other Chthonic Macabres Ghosts and Other Chthonic Macabres
Ghosts and Other Chthonic Macabres
2022
Being the Person Your Dog Thinks You Are Being the Person Your Dog Thinks You Are
Being the Person Your Dog Thinks You Are
2021
Imagination Imagination
Imagination
2019
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2007
Developments in Services of General Interest Developments in Services of General Interest
Developments in Services of General Interest
2011