1 Ebooks de 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
Inglés
DRM
€113.48
