Cover Image

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings /

Corporate Author: SpringerLink (Online service)
Other Authors: Davies, Jim. (Editor, http://id.loc.gov/vocabulary/relators/edt), Gibbons, Jeremy. (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 ; 4591
Subjects:
Computers.
Computer logic.
Programming languages (Electronic computers).
Software engineering.
Computer programming.
Theory of Computation.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Programming Techniques.
Online Access:https://doi.org/10.1007/978-3-540-73210-5

Internet

https://doi.org/10.1007/978-3-540-73210-5

Similar Items