20 results Refine Results
  1. 1
    Published 1983
    Conference Proceeding Book
    Save to List
    Saved in:
    Specification and design of software systems : Conference on Operating Systems Visegrad, Hungary, January 23-27, 1982, proceedings /
  2. 2
    by Cox, Brad J.
    Published 1986
    Book
    Save to List
    Saved in:
    Object-oriented programming an evolutionary approach /
  3. 3
    Published 1986
    Book
    Save to List
    Saved in:
    Software system design methods : the challenge of advanced computing technology /
  4. 4
    Published 1987
    Book
    Save to List
    Saved in:
    System development and Ada /
  5. 5
    Published 1995
    Book
    Save to List
    Saved in:
    Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers /
  6. 6
    by Börger, E. (Egon), 1946-
    Published 2003
    Book
    Save to List
    Saved in:
    Abstract state machines : a method for high-level system design and analysis /
  7. 7
    Published 2004
    Connect to electronic version
    Conference Proceeding Book
    Save to List
    Saved in:
    Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barselona, Spain, March 29-April 2, 2004 : proceedings /
  8. 8
    Published 1997
    Conference Proceeding Book
    Save to List
    Saved in:
    Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʾ97, Enschede, The Netherlands, April 2-4, 1997 : proceedings /
  9. 9
    Published 1996
    Conference Proceeding Book
    Save to List
    Saved in:
    Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996 : proceedings /
  10. 10
    Published 2005
    Connect to electronic resource
    Electronic Conference Proceeding Book
    Save to List
    Saved in:
    Tools and algorithms for the construction and analysis of systems 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings /
  11. 11
    Published 2005
    Connect to electronic resource
    Electronic Conference Proceeding Book
    Save to List
    Saved in:
    FM 2005 formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings /
  12. 12
    Published 2005
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Formal methods for mobile computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 ; advanced lectures /
  13. 13
    Published 2005
    Book
    Save to List
    Saved in:
    Multi-agent programming : languages, platforms and applications /
  14. 14
    Published 2006
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Tools and algorithms for the construction and analysis of systems 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 : proceedings /
  15. 15
    Published 2007
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Tools and algorithms for the construction and analysis of systems 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings /
  16. 16
    by El Fallah Seghrouchni, Amal
    Published 2009
    Connect to electronic resource
    Electronic eBook
    Save to List
    Saved in:
    Multi-Agent Programming languages, tools and applications /
  17. 17
    Published 2006
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    FM 2006 formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings /
  18. 18
    Published 2008
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    FM 2008: formal methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings /
  19. 19
    Published 1998
    Conference Proceeding Book
    Save to List
    Saved in:
    Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998, proceedings /
  20. 20
    by Holtzblatt, Karen
    Published 2017
    Connect to electronic resource
    Electronic eBook
    Save to List
    Saved in:
    Contextual design : design for life /

Search Tools: