Subject: "Formal methods (Computer science) Congresses." - ECU Libraries Catalog Search Results

Clear Search

You searched for: Subject "Formal methods (Computer science) Congresses."

« Previous | 1 - 10 of 163 | Next »

Leveraging applications of formal methods : first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers
by ISoLA 2004 (2004 : Paphos, Cyprus)
2006
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: QA76.9.F67 I86 2004

✔ Available Joyner - General Stacks

Call Number: QA76.9.F67 I58 2005

Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings
by International Conference on Integrated Formal Methods 2002 : Turku, Finland)
2002
Format: Electronic, Book, and Print

✔ Available Joyner - General Stacks

Call Number: QA76.9.F67 I58 2002

Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures
by EEF/Euro Summer School on Trends in Computer Science 2000 : Berg en Dal, Netherlands)
2001
Format: Electronic, Book, and Print

✔ Available Joyner - General Stacks

Call Number: QA76.9.F67 E34 2000

Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings
by International Conference on Integrated Formal Methods 2000 : Dagstuhl Castle, Germany)
2000
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: QA76.9.F67 I58 2000

✔ Available Joyner - General Stacks

Call Number: QA76.9.F67 I59 1998

Formal methods foundations and applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings
by Brazilian Symposium on Formal Methods 2012 : Natal, Brazil)
2012
Format: Electronic and Book

✔ Available

Call Number: Multiple Online Resources Available

Integrated formal methods 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings
by International Conference on Integrated Formal Methods 2010 : Nancy, France)
2010
Format: Electronic and Book

✔ Available

Call Number: Multiple Online Resources Available

Integrated formal methods 7th international conference, IFM 2009, Duesseldorf, Germany, February 16-19, 2009, proceedings
by International Conference on Integrated Formal Methods 2009 : Düsseldorf, Germany)
2009
Format: Electronic and Book

✔ Available

Call Number: Multiple Online Resources Available

Integrated formal methods 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings
by International Conference on Integrated Formal Methods 2007 : Oxford, England)
2007
Format: Electronic and Book

✔ Available

Call Number: Access Content Online

« Previous
Next »
1
2
3
4
5
…
16
17

Find materials by

Location

Format

Publication Date

Call Number

Collection

Language

Genre

Region

Leveraging applications of formal methods : first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers

Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29-December 2, 2005 : proceedings

Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings

Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures

Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings

Applied formal methods--FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings

Formal methods foundations and applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings

Integrated formal methods 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings

Integrated formal methods 7th international conference, IFM 2009, Duesseldorf, Germany, February 16-19, 2009, proceedings

Integrated formal methods 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings

ECU Libraries Catalog

Find materials by

Search Constraints

Search Results