Search alternatives:
methodes » methods (Expand Search), methodist (Expand Search), method (Expand Search)
informatique » information (Expand Search)
Showing 1 - 20 results of 47 for search '"Méthodes formelles (Informatique)"', query time: 0.23s Refine Results
  1. 1
    Modern formal methods and applications /
    Published 2006
    Subjects: “...Méthodes formelles (Informatique)...”
    Connect to the full text of this electronic book
    Contributor biographical information
    Publisher description
    eBook
  2. 2
    Cafe : an industrial-strength algebraic formal method /
    Published 2000
    Subjects: “...Méthodes formelles (Informatique) Congrès....”
    Connect to the full text of this electronic book
    Table of contents only
    Publisher description
    eBook
  3. 3
    Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring, and execution-based model checking /
    by Drusinsky, Doron
    Published 2006
    Subjects: “...Méthodes formelles (Informatique)...”
    Connect to the full text of this electronic book
    Table of contents only
    Publisher description
    eBook
  4. 4
    Leveraging applications of formal methods : first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers /
    Published 2006
    Subjects: “...Méthodes formelles (Informatique) Congrès....”
    Connect to the full text of this electronic book
    Publisher description
    Conference Proceeding eBook
  5. 5
    Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29--December 2, 2005 : proceedings /
    Published 2005
    Subjects: “...Méthodes formelles (Informatique) Congrès....”
    Connect to the full text of this electronic book
    Publisher description
    Conference Proceeding eBook
  6. 6
    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 /
    Published 2001
    Subjects: “...Méthodes formelles (Informatique) Congrès....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  7. 7
    Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings /
    Published 2002
    Subjects: “...Méthodes formelles (Informatique) Congrès....”
    Connect to the full text of this electronic book
    Publisher description
    Conference Proceeding eBook
  8. 8
    Software specification methods /
    Published 2006
    Subjects: “...Méthodes formelles (Informatique)...”
    Connect to the full text of this electronic book
    eBook
  9. 9
    Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings /
    Published 2000
    Subjects: “...Méthodes formelles (Informatique) Congrès....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  10. 10
    Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings /
    Published 2002
    Subjects: “...Méthodes formelles (Informatique) Congrès....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  11. 11
    Software engineering.
    by Bjørner, D. (Dines), 1937-
    Published 2006
    Subjects: “...Méthodes formelles (Informatique)...”
    Connect to the full text of this electronic book
    Publisher description
    eBook
  12. 12
    Constructing correct software /
    by Cooke, John, 1947-
    Published 2005
    Subjects: “...Méthodes formelles (Informatique)...”
    Connect to the full text of this electronic book
    Publisher description
    eBook
  13. 13
    Software specification methods : an overview using a case study /
    Published 2001
    Subjects: “...Méthodes formelles (Informatique)...”
    Connect to the full text of this electronic book
    eBook
  14. 14
    Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings /
    Published 2005
    Subjects: “...Méthodes formelles (Informatique) Congrès....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  15. 15
    Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings /
    Published 2006
    Subjects: “...Méthodes formelles (Informatique) Congrès....”
    Connect to the full text of this electronic book
    Publisher description
    Conference Proceeding eBook
  16. 16
    Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers /
    Published 2006
    Subjects: “...Méthodes formelles (Informatique) Congrès....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  17. 17
    Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures /
    Published 2006
    Subjects: “...Méthodes formelles (Informatique) Congrès....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  18. 18
    Formal aspects of security : first international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers /
    Published 2004
    Subjects: “...Méthodes formelles (Informatique) Congrès....”
    Connect to the full text of this electronic book
    Get full text
    Conference Proceeding eBook
  19. 19
    Formal aspects in security and trust : third international workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005 : revised selected papers /
    Published 2006
    Subjects: “...Méthodes formelles (Informatique) Congrès....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  20. 20
    Formal modeling and analysis of timed systems : 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedings /
    Published 2006
    Subjects: “...Méthodes formelles (Informatique) Congrès....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
Search Tools: RSS Feed – Email Search