Formal Methods and Software Engineering [electronic resource] : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings / edited by Karin Breitman, Ana Cavalcanti.
By: Breitman, Karin.
Contributor(s): Cavalcanti, Ana | SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science, 5885.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Description: digital.ISBN: 9783642103735.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.