Formal methods and software engineering : Jim Davies, Wolfram Schulte, Mike Barnett (eds.). 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings /

By:

Contributor(s):

Material type: Text

TextSeries: Lecture notes in computer science ; 3308Publication details: Springer, New York : 2004Edition: 1st edDescription: xiii, 500 p. : ill. ; 24 cmISBN:

Subject(s):

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Books	Goa University Library MCA Book Bank	005.1 DAV/For (Browse shelf(Opens below))	Available		119638

Includes bibliographical references and index.

There are no comments on this title.

to post a comment.