Formal methods and software engineering: 9th international conference on formal engineering methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15/

Formal methods and software engineering: 9th international conference on formal engineering methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15/

57

Xehetasun bibliografikoak
Egile Nagusiak: International Conference on Formal Engineering Methods (9th : 2007 : Boca Raton, Fla.), Butler, Michael G., Hinchey, Michael G, Larrondo-Petrie, Maria M
Formatua:
Hizkuntza:eng
Argitaratua: Berlin : Springer-Verlag, 2007
Gaiak:
Formal methods (Computer science)
Software engineering
Sarrera elektronikoa:http://dx.doi.org/10.1007/978-3-540-76650-6

Internet

http://dx.doi.org/10.1007/978-3-540-76650-6

Antzeko izenburuak