Add Wish List 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... RRP: $154.00 Add to Cart The item has been added
Add Wish List 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... RRP: $116.00 Add to Cart The item has been added