Cover Image

Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ISFEM 2003, Singapore, November 5-7, 2003 : proceedings /

Bibliographic Details
Corporate Author: International Conference on Formal Engineering Methods Singapore
Other Authors: Dong, Jin Song, 1967-, Woodcock, Jim
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2003]
Series:Lecture notes in computer science ; 2885.
Subjects:
Formal methods (Computer science) > Congresses.
Software engineering > Congresses.
Online Access:http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2885
Description
Physical Description:xi, 681 pages : illustrations ; 24 cm.
Also available via the World Wide Web.
Bibliography:Includes bibliographical references and index.
ISBN:354020461X (alk. paper)