Software engineering and formal methods sefm 2015 collocated workshops atse hofm mokmasd and veryscart york uk september 7 8 2015 revised selected papers . Up to 90 off textbooks at amazon canada plus free two day shipping for six months when you sign up for amazon prime for students. Sefm 2015 collocated workshops atse hofm mokmasd and veryscart york uk september 7 8 2015 revised selected papers editors view affiliations domenico bianculli radu calinescu bernhard rumpe conference proceedings sefm 2015 83 citations 16k downloads part of the lecture notes in computer science book series lncs volume 9509 also part of the programming and software . Sefm 2015 collocated workshops atse hofm mokmasd and veryscart york uk september 7 8 2015 revised selected papers editors bianculli domenico calinescu radu rumpe bernhard eds free preview buy this book ebook 4600 eur price for spain gross buy ebook isbn 978 3 662 49224 6 digitally watermarked drm free included format epub pdf ebooks can be used on all reading . Software engineering and formal methods sefm 2015 collocated workshops atse hofm mokmasd and veryscart york uk september 7 8 2015 revised selected papers de nicola rocco calinescu radu rumpe bernhard amazonsg books skip to main contentsg hello select your address all hello sign in account lists account returns orders cart all todays deals best sellers prime gift