Showing 1 - 20 results of 42 for search '', query time: 0.37s Refine Results
  1. 1
    Process algebra for parallel and distributed processing /
    Published 2009

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  2. 2
    Practical uml statecharts in C/C++ : event-driven programming for embedded systems /
    by Samek, Miro
    Published 2018

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  3. 3
    Formal techniques for computer systems and business processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005 : proceedings /
    Published 2005

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  4. 4
    Formal methods and stochastic models for performance evaluation : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006 : proceedings /
    Published 2006

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  5. 5
    Dynamic logic /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  6. 6
    Formal approaches to software testing : 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers /
    Published 2005

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  7. 7
    Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers /
    Published 2004

    Conference Proceeding Book
  8. 8
    Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday /
    Published 2005

    Book
  9. 9
    Modern formal methods and applications /
    Published 2006

    Book
  10. 10
    Applied formal methods--FM Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9 1998 : proceedings /
    Published 1999

    Conference Proceeding Book
  11. 11
    Modern formal methods and applications /
    Published 2006

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  12. 12
    Constructing correct software /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  13. 13
    Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings /
    Published 2005

    Conference Proceeding Book
  14. 14
    Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings /
    Published 2006

    Conference Proceeding Book
  15. 15
    FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings /
    Published 2006

    Conference Proceeding Book
  16. 16
    Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005 : revised lectures /
    Published 2006

    Conference Proceeding Book
  17. 17
    Leveraging applications of formal methods : first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers /
    Published 2006

    Conference Proceeding Book
  18. 18
    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

    Conference Proceeding Book
  19. 19
    Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers /
    Published 2006

    Conference Proceeding Book
  20. 20
    Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004 : revised lectures /
    Published 2005

    Conference Proceeding Book
Search Tools: Get RSS Feed — Email this Search