Franklin

SEFM 2009 : Seventh International Conference on Software Engineering and Formal Methods : proceedings : November 23-27, 2009, Hanoi, Vietnam

Author/Creator:
IEEE International Conference on Software Engineering and Formal Methods Corporate Author
Publication:
[Place of publication not identified] IEEE Computer Society 2009
Conference Name:
IEEE International Conference on Software Engineering and Formal Methods
Format/Description:
Conference/Event
Book
Subjects:
Software engineering -- Congresses
Formal methods (Computer science) -- Congresses
Language:
English
Notes:
Bibliographic Level Mode of Issuance: Monograph
Contributor:
Dang, Hung Van, 1950- Contributor
Krishnan, Padmanabhan Contributor
Hokuriku Sentan Kagaku Gijutsu Daigakuin Daigaku Content Provider
IEEE Computer Society Content Provider
International Institute for Software Technology Content Provider
ISBN:
1-5090-6875-9
Loading...
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy