Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings /
Published in: | Springer eBooks |
---|---|
Main Author: | Hutchison, David |
Corporate Author: | SpringerLink (Online service) |
Other Authors: | Araki, Keijiro, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Liu, Shaoying, Maibaum, Tom, Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard |
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2008.
|
Series: | Lecture Notes in Computer Science,
|
Subjects: | |
Online Access: | http://dx.doi.org/10.1007/978-3-540-88194-0 Перейти в каталог НБ ТГУ |
Similar Items
-
Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings.
by: Butler, Michael
Published: (2007) -
Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings /
Published: (2013) -
Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings /
Published: (2014) -
Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings /
by: Hutchison, David
Published: (2008) -
Software Architecture Second European Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings /
by: Hutchison, David
Published: (2008)