FME 2001: Formal Methods for Increasing Software Productivity
106.99 EUR101.94 EUR5% Off
Ein kompakter Sammelband aus dem FME 2001 Symposium in Berlin, der neueste Forschung zu formalen Methoden für die Steigerung der Softwareproduktivität präsentiert und praktische Anwendungen beleuchtet.