Formal Methods and Software Engineering. 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings /

Bibliographic Details
Corporate Authors: International Conference on Formal Engineering Methods Kitakyushu-City, Japan, SpringerLink (Online service)
Other Authors: Araki, Keijirō, 1954-, Liu, Shaoying, Maibaum, Thomas S. E., 1947-
Format: Conference Proceeding eBook
Language:English
Published: Berlin : Springer, [2008]
Series:Lecture notes in computer science ; 5256.
Subjects:
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA76.612 .I58 2008eb
 
Call Number Status Get It
QA76.612 .I58 2008eb Available