Formal methods and software engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 : proceedings /

Show other versions (2)

This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The 19 revised full papers together with 2 invited talks presented were carefully reviewed and selected from 38 submis...

Full description

Saved in:
Bibliographic Details
Corporate Authors: International Conference on Formal Engineering Methods Boca Raton, Fla., SpringerLink (Online service)
Other Authors: Butler, Michael, 1967-, Hinchey, Michael G. (Michael Gerard), 1969-, Larrondo-Petrie, María M.
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, ©2007.
Berlin ; New York : [2007]
Series:Lecture notes in computer science ; 4789.
LNCS sublibrary. Programming and software engineering.
Physical Description:
1 online resource (x, 386 pages) : illustrations.
Subjects:
Formal methods (Computer science) -- Congresses.
Software engineering -- Congresses.
modellen.
models.
programmeren.
programming.
computerwetenschappen.
computer sciences.
programmeertalen.
programming languages.
software engineering.
Information and Communication Technology (General)
Informatie- en communicatietechnologie (algemeen)
Online Access:SpringerLink - Click here for access
Holdings details from CMU Electronic Access C502
Copy 1 CMU Electronic Access Available

Internet

SpringerLink - Click here for access

Similar Items