• Shop by category
  • Powered by eBay
  • B 2007: Formal Specification and Development in B: 7th International Conference

    • Item No : 134964513870
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : the_nile
    • Current Bid : US $73.33
    • * Item Description

    • Invited Talks. - E-Voting and the Need for Rigourous Software Engineering – The Past, Present and Future. - Using B Machines for Model-Based Testing of Smartcard Software. - The Design of Spacecraft On-Board Software.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category