|
Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Software Engineering and Formal Methods - SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers (Paperback, 2015 ed.)
Loot Price: R2,771
Discovery Miles 27 710
|
|
|
Software Engineering and Formal Methods - SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers (Paperback, 2015 ed.)
Series: Programming and Software Engineering, 8938
Expected to ship within 10 - 15 working days
|
This book constitutes revised selected papers from the workshops
collocated with the SEFM 2014 conference on Software Engineering
and Formal Methods, held in Grenoble, France, in September 2014.
The 26 papers included in this volume were carefully reviewed and
selected from 49 submissions. They are from the following
workshops: the 1st Workshop on Human-Oriented Formal Methods - From
Readability to Automation, HOFM 2014, the 3rd International
Symposium on Modelling and Knowledge Management Applications -
Systems and Domains, MoKMaSD 2014, the 8th International Workshop
on Foundations and Techniques for Open Source Software
Certification, Open Cert 2014, the 1st Workshop on Safety and
Formal Methods, SaFoMe 2014 and the 4th Workshop on Formal Methods
in the Development of Software, WS-FMDS 2014.
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
