Books > Computing & IT > Applications of computing > Artificial intelligence > Natural language & machine translation
|
Buy Now
Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings (Paperback, 1st ed. 2020)
Loot Price: R1,523
Discovery Miles 15 230
|
|
Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings (Paperback, 1st ed. 2020)
Series: Lecture Notes in Computer Science, 12531
Expected to ship within 10 - 15 working days
|
This book constitutes the proceedings of the 22nd International
Conference on Formal Engineering Methods, ICFEM 2020, held in
Singapore, Singapore, in March 2021. The 16 full and 4 short papers
presented together with 1 doctoral symposium paper in this volume
were carefully reviewed and selected from 41 submissions. The
papers cover theory and applications in formal engineering methods
together with case studies. They also represent the recent
development in the use and development of formal engineering
methods for software and system development.
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.