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

By:

Contributor(s):

Material type: Text

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

Subject(s):

DDC classification:

LOC classification:

Online resources:

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

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Home library	Shelving location	Call number	Status	Barcode
Books	Main Campus Library	University of Eastern Africa, Baraton	Main Stack	QA76.9 F67 I5788 2004 (Browse shelf(Opens below))	Available	60326

Includes bibliographical references and index.

There are no comments on this title.

to post a comment.