Penulis: Dion Mandrioli

Dukung

1 Ebooks oleh Dion Mandrioli

Keijiro Araki & Stefania Gnesi: FME 2003: Formal Methods
Thisvolumecontainstheproceedingsof FM2003, the12th International Formal Methods Europe Symposium which was held in Pisa, Italy on September 8-14, 2003. Formal Methods Europe (FME, www. fmeurope. org) …
PDF
Inggris
DRM
€114.58