Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings (Paperback, 1st ed. 2017)
Loot Price: R3,099
Discovery Miles 30 990
|
|
Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings (Paperback, 1st ed. 2017)
Series: Lecture Notes in Computer Science, 10610
Expected to ship within 10 - 15 working days
|
Donate to Gift Of The Givers
Total price: R3,119
Discovery Miles: 31 190
|
This book constitutes the refereed proceedings of the 19th
International Conference on Formal Engineering Methods, ICFEM 2017,
held in Xi'an, China, in November 2017. The 28 revised full papers
presented together with one invited talk and two abstracts of
invited talks were carefully reviewed and selected from 80
submissions. The conference focuses on all areas related to formal
engineering methods, such as verification and validation, software
engineering, formal specification and modeling, software security,
and software reliability.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|