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

Internet

http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2885

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.9.F67 I5788 2003
 
Call Number Status Get It
QA76.9.F67 I5788 2003 Available