Richard Banach – författare

Visar alla böcker från författaren Richard Banach. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Formal Methods and Software Engineering

   7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings

   Av Kung-Kiu Lau, Richard Banach

   Häftad, 2005

   566 kr

   Lägg i varukorg

   This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 November 2005, Manchester, UK. Formal engineering methods are changing the way that systems are dev- oped. With language and tool support, these methods are being used for se- …

2. 

   Formal Methods and Software Engineering

   7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings

   Av Richard Banach, Kung-Kiu Lau

   E-bok, 2005

   755 kr

   Lägg i varukorg