Autor: Jose Luiz Fiadeiro

Ajutor

7 Ebooks de Jose Luiz Fiadeiro

Jose Luiz Fiadeiro & Zhiming Liu: Formal Aspects of Component Software
This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013. The 19 full papers …
PDF
Engleză
DRM
€57.88
Jose Luiz Fiadeiro: Categories for Software Engineering
Why Another Book on Category Theory? In the past ten years, several books have been published on category t- ory either by computer scientists or having computer scientists as a target audience (e. g …
PDF
Engleză
DRM
€57.76
Jose Luiz Fiadeiro & Ionut Tutu: Recent Trends in Algebraic Development Techniques
This book constitutes the thoroughly refereed post-conference proceedings of the 24th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2018, held in Egham, UK in July 2018 …
EPUB
Engleză
DRM
€57.76