Formal Methods and Software Engineering [electronic resource] : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings / edited by Shaoying Liu, Tom Maibaum, Keijiro Araki.
By: Liu, Shaoying.
Contributor(s): Maibaum, Tom | Araki, Keijiro | SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science, 5256.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Description: digital.ISBN: 9783540881940.Subject(s): Computer science | Software engineering | Computer software | Computer Science | Software Engineering | Programming Techniques | Programming Languages, Compilers, Interpreters | Models and Principles | Mathematical Logic and Formal Languages | Algorithm Analysis and Problem ComplexityDDC classification: 005.1 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.