FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, ... (Lecture Notes in Computer Science, 2021)

Customers who purchased this also purchased....