Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings /

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings /

Bibliographic Details
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:
Computer Science
Computer software
Software engineering
Algorithm Analysis and Problem Complexity
Mathematical Logic and Formal Languages
Models and Principles
Programming Languages, Compilers, Interpreters
Programming Techniques
Software Engineering
Online Access:http://dx.doi.org/10.1007/978-3-540-88194-0
Перейти в каталог НБ ТГУ

Similar Items

Similar Items