• Shop by category
  • Powered by eBay
  • Software Engineering and Formal Methods : 13th International Conference, Sefm...

    • Item No : 365735745714
    • Condition : Like New
    • Brand : No brand Info
    • Seller : greatbookprices1
    • Current Bid : US $71.79
    • * Item Description

    • Software Engineering and Formal Methods : 13th International Conference, Sefm 2015, Paperback by Calinescu, Radu (EDT); Rumpe, Bernhard (EDT), ISBN 3319229680, ISBN-13 9783319229683, Like New Used, Free shipping in the US

      <p>This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.</p>The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category