Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings (Paperback, 2012 ed.)
Loot Price: R1,630
Discovery Miles 16 300
|
|
Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings (Paperback, 2012 ed.)
Series: Lecture Notes in Computer Science, 7635
Expected to ship within 10 - 15 working days
|
Donate to Gift Of The Givers
Total price: R1,650
Discovery Miles: 16 500
|
This book constitutes the refereed proceedings of the 14th
International Conference on Formal Engineering Methods, ICFEM 2012,
held in Kyoto, Japan, November 2012. The 31 revised full papers
together with 3 invited talks presented were carefully reviewed and
selected from 85 submissions. The papers address all current issues
in formal methods and their applications in software engineering.
They are organized in topical sections on concurrency, applications
of formal methods to new areas, quantity and probability, formal
verification, modeling and development methodology, temporal
logics, abstraction and refinement, tools, as well as testing and
runtime verification.
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..
|