|
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,006
Discovery Miles 30 060
|
|
|
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
|
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!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
