Electronic Books

  1. Home
  2. Electronic Books
Total Books: 1 - 3 /3
978-3-540-76650-6
Formal Methods and Software Engineering

This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, ...

Continue reading
978-3-540-88194-0
Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...

Continue reading
978-3-540-31482-0
Unconventional Programming Paradigms

Nowadays, developers have to face the proliferation of hardware and software environments, the increasing demands of the ...

Continue reading
Total Books: 1 - 3 /3