FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings /

Kaydedildi:
Detaylı Bibliyografya
Yazar: Keijiro Araki, Stefania Gnesi, Dino Mandrioli (edición)
Materyal Türü: Kitap
Dil:İngilizce
Baskı/Yayın Bilgisi: Berlín, Alemania : Springer, 2003, c2003
Seri Bilgileri:(Lecture Notes in Computer Science)
Online Erişim:Ver documento en línea
Etiketler: Etiketle
Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller: FME 2003: Formal Methods :