2000 - 2009, "Formal Methods"

1 uitgave gevonden

• Formal Methods and Software Engineering   Engelstalig Paperback 9783540204619 Oktober 2003 700 pagina's This volume contains the proceedings of the 2003 International Conference on Formal Engineering Methods (ICFEM 2003). The conference was the ?fth in a series that began in 1997. ICFEM 2003... Vanaf 123,00 Bekijk exemplaren