Search alternatives:
formal » format (Expand Search), normal (Expand Search)
Showing 1 - 20 results of 249 for search '"Formal methods (Computer science)"', query time: 0.90s Refine Results
  1. 1
    Modern formal methods and applications /
    Published 2006
    Subjects: “...Formal methods (Computer science)...”
    Book
  2. 2
    Industrial-strength formal methods in practice /
    Published 1999
    Subjects: “...Formal methods (Computer science)...”
    Book
  3. 3
    Understanding formal methods /
    by Monin, Jean François, 1960-
    Published 2003
    Subjects: “...Formal methods (Computer science)...”
    Book
  4. 4
    Formal methods in computing /
    Published 2005
    Subjects: “...Formal methods (Computer science)...”
    Book
  5. 5
    Formal methods for industrial critical systems : a survey of applications /
    Published 2013
    Subjects: “...Formal methods (Computer science)...”
    Connect to the full text of this electronic book
    eBook
  6. 6
    Applied formal methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings /
    Published 1999
    Subjects: “...Formal methods (Computer science) Congresses....”
    Conference Proceeding Book
  7. 7
    IFM '99 : proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999 /
    Published 1999
    Subjects: “...Formal methods (Computer science) Congresses....”
    Conference Proceeding Book
  8. 8
    Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings /
    Published 2000
    Subjects: “...Formal methods (Computer science) Congresses....”
    Conference Proceeding Book
  9. 9
    Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings /
    Published 2002
    Subjects: “...Formal methods (Computer science) Congresses....”
    Conference Proceeding Book
  10. 10
    Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 ; proceedings /
    Published 2004
    Subjects: “...Formal methods (Computer science) Congresses....”
    Conference Proceeding Book
  11. 11
    Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29--December 2, 2005 : proceedings /
    Published 2005
    Subjects: “...Formal methods (Computer science) Congresses....”
    Table of contents
    Conference Proceeding eBook
  12. 12
    Leveraging applications of formal methods : first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers /
    Published 2006
    Subjects: “...Formal methods (Computer science) Congresses....”
    Connect to the full text of this electronic book
    Conference Proceeding Book
  13. 13
    Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings /
    Published 2007
    Subjects: “...Formal methods (Computer science) Congresses....”
    Conference Proceeding Book
  14. 14
    Formal methods : foundations and applications ; 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 ; revised selected papers /
    Published 2009
    Subjects: “...Formal methods (Computer science) Congresses....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  15. 15
    Dynamic logic /
    by Harel, David, 1950-
    Published 2000
    Subjects: “...Formal methods (Computer science)...”
    Book
  16. 16
    Software engineering 1 /
    by Bjørner, D. (Dines), 1937-
    Published 2006
    Subjects: “...Formal methods (Computer science)...”
    Book
  17. 17
    Formal specification : techniques and applications /
    by Nissanke, Nimal
    Published 1999
    Subjects: “...Formal methods (Computer science)...”
    Book
  18. 18
    Software specification methods : an overview using a case study /
    Published 2001
    Subjects: “...Formal methods (Computer science)...”
    Book
  19. 19
    Synchronous equivalence : formal methods for embedded systems /
    by Hsieh, Harry, 1967-
    Published 2001
    Subjects: “...Formal methods (Computer science)...”
    Book
  20. 20
    Constructing correct software /
    by Cooke, John, 1947-
    Published 2005
    Subjects: “...Formal methods (Computer science)...”
    Book
Search Tools: RSS Feed – Email Search