Hakutulokset: Kirjoja kirjailijalta Jifeng Liu
yhteensä 5 hakutulosta
Mathematical Frameworks For Component Software: Models For Analysis And Synthesis
The range of components technology is both wide and diverse, but some common understanding is emerging through the ideas of model-based development. These include the notions of …
Mathematical Frameworks For Component Software: Models For Analysis And Synthesis
The range of components technology is both wide and diverse, but some common understanding is emerging through the ideas of model-based development. These include the notions of …
Formal Methods and Software Engineering
This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. The 38 revised …
Negotiating the Christian Past in China
At the turn of the twenty-first century, Xiamen’s pursuit of World Heritage Site designation from UNESCO stimulated considerable interest in the city’s Christian past. History …
Formal Methods and Software Engineering
This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. The 38 revised …