2 results for 'Jean-Raymond Abrial'

Sidebar Sidebar Sidebar
Did you mean: japan raymond abroad Refine Search
  • 4th Refinement Workshop 4th Refinement Workshop
    Add to Cart The item has been added

    4th Refinement Workshop

    This volume contains the proceedings ofthe 4th Refinement Workshop which was organised by the British Computer Society specialist group in Formal Aspects of Computing Science and held in Wolfson...
    $154.00

    Add to Cart The item has been added
  • FM 2005 FM 2005
    Add to Cart The item has been added

    FM 2005

    This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, during July 18-22, 2005. Formal Methods Europe (FME, www...
    $116.00

    Add to Cart The item has been added