Formal Methods and Software Engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

Saved in:
Corporate Author: SpringerLink (online služba)
Other Authors: Butler, Michael (Editor), Hinchey, Michael G (Editor), Larrondo-Petrie, María M (Editor)
Format: eBook
Language:English
Published: Berlin ; Heidelberg : Springer Berlin Heidelberg, 2007
Series:Lecture Notes in Computer Science
Genre/form:elektronické knihy
ISBN:978-3-540-76650-6
9783540766483
Subjects:
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!