Goa University
Amazon cover image
Image from Amazon.com
Image from Google Jackets

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: TextTextSeries: Lecture notes in computer science ; 3308Publication details: Springer, New York : 2004Edition: 1st edDescription: xiii, 500 p. : ill. ; 24 cmISBN:
  • 3540238417 (softcover : alk. paper)
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 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.

Designed & Maintained by: Goa University (GU Library)
Contact: System Analyst :ans @unigoa.ac.in


Powered by Koha