Formal methods and software engineering : 12th international conference on formal engineering methods, ICFEM : proceedings, Shanghai, China, Nov. 17-19, 2010 (e-book)

Formal methods and software engineering : 12th international conference on formal engineering methods, ICFEM : proceedings, Shanghai, China, Nov. 17-19, 2010 (e-book) - Berlin Springer 2010 - Lecture Notes in Computer Science (LNCS) v.6447 LNCS Sublibrary : SL 2 – Programming and Software Engineering .

978-3-642-16901-4


Computer science and engineering
Formal methods (Computer science)--Congresses
Software engineering--Congresses

Powered by Koha