|
Showing 1 - 3 of
3 matches in All Departments
|
Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers (Paperback, 2014 ed.)
Jose Luiz Fiadeiro, Zhiming Liu, Jinyun Xue
|
R2,727
Discovery Miles 27 270
|
Ships in 10 - 15 working days
|
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 and three invited talks presented were carefully reviewed
and selected from 51 submissions. The papers are concerned with how
formal methods can be used to make component-based development fit
for the new architectures of today and the systems that are now
pervading the socio-economic worlds.
|
Structured Object-Oriented Formal Language and Method - 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers (Paperback, 1st ed. 2021)
Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan
|
R1,557
Discovery Miles 15 570
|
Ships in 10 - 15 working days
|
This book constitutes the refereed workshop proceedings of the 10th
International Workshop on Structured Object-Oriented Formal
Language and Method, SOFL+MSVL 2020, held in Singapore, in March
2021. The 13 revised full papers included in the volume were
carefully reviewed and selected from 24 submissions. They are
organized in the following topical sections: modeling and
specification; model checking; specification and verification; and
testing and formal verification.Due to the Corona pandemic this
event was held virtually.
|
Frontiers in Algorithmics - Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009, Proceedings (Paperback, 2009 ed.)
Xiaotie Deng, John E. Hopcroft, Jinyun Xue
|
R1,586
Discovery Miles 15 860
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the Third
International Frontiers of Algorithmics Workshop, FAW 2009, held in
Hefei, Anhui, China, in June 2009. The 33 revised full papers
presented together with the abstracts of 3 invited talks were
carefully reviewed and selected from 87 submissions. The papers are
organized in topical sections on graph algorithms; game theory with
applications; graph theory, computational geometry; machine
learning; parameterized algorithms, heuristics and analysis;
approximation algorithms; as well as pattern recognition
algorithms, large scale data mining.
|
|