Cover Image

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

Corporate Author: SpringerLink (Online service)
Other Authors: Butler, Michael. (Editor, http://id.loc.gov/vocabulary/relators/edt), Hinchey, Michael G. (Editor, http://id.loc.gov/vocabulary/relators/edt), Larrondo-Petrie, Maria M. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edition:1st ed. 2007.
Series:Programming and Software Engineering ; 4789
Subjects:
Software engineering.
Computer programming.
Computers.
Computer logic.
Programming languages (Electronic computers).
Software Engineering/Programming and Operating Systems.
Programming Techniques.
Software Engineering.
Models and Principles.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Online Access:https://doi.org/10.1007/978-3-540-76650-6

Internet

https://doi.org/10.1007/978-3-540-76650-6

Similar Items