Software engineering and formal methods : 11th international conference, SEFM 2013, Madrid, Spain, September 25-27, 2013 ; proceedings

Bibliographic Details
Other Involved Persons: Hierons, Robert M. (Editor) ; Merayo, Mercedes G. (Editor) ; Bravetti, Mario (Editor) ; SEFM (Other)
Format: Book
Language:English
Published: Berlin Heidelberg [u.a.] : Springer 2013
ISBN:3642405606
9783642405600
9783642405617
3642405614
Series:Lecture notes in computer science 8137
Item Description:Literaturangaben
Physical Description:XVII, 319 S. graph. Darst. 235 mm x 155 mm
Subjects:
QR Code: Show QR Code