95 results Refine Results
  1. 1
    Published 1987
    Subjects “...Computer software Development Congresses....”
    Book
    Save to List
    Saved in:
    TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987 /
  2. 2
    Published 1992
    Subjects “...Computer software Development Congresses....”
    Conference Proceeding Book
    Save to List
    Saved in:
    5th Refinement Workshop : proceedings of the 5th Refinement Workshop, organized by BCS-FACS, London, 8-10 January 1992 /
  3. 3
    Published 1993
    Subjects “...Computer software Development Congresses....”
    Conference Proceeding Book
    Save to List
    Saved in:
    TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings /
  4. 4
    Published 1993
    Subjects “...Computer software Development Congresses....”
    Conference Proceeding Book
    Save to List
    Saved in:
    FME'93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings /
  5. 5
    Published 1990
    Subjects “...Computer software Development Congresses....”
    Book
    Save to List
    Saved in:
    VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings /
  6. 6
    Published 1989
    Subjects “...Computer software Development Congresses....”
    Conference Proceeding Book
    Save to List
    Saved in:
    TAPSOFT '89 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 /
  7. 7
    Published 1991
    Subjects “...Computer software Development Congresses....”
    Book
    Save to List
    Saved in:
    VDM '91 : formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings /
  8. 8
    Published 1994
    Subjects “...Computer software Development Congresses....”
    Conference Proceeding Book
    Save to List
    Saved in:
    FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe ; Barcelona, Spain, October 24-28, 1994 : proceedings /
  9. 9
    Published 1996
    Subjects “...Computer software Development Congresses....”
    Conference Proceeding Book
    Save to List
    Saved in:
    Software process technology : 5th European workshop, EWSPT '96, Nancy, France, October 9-11, 1996 : proceedings /
  10. 10
    Published 1996
    Subjects “...Computer software Development Congresses....”
    Conference Proceeding Book
    Save to List
    Saved in:
    Studies of software design : ICSE '93 workshop, Baltimore, Maryland, USA, May 17-18, 1993 : selected papers /
  11. 11
    Published 2000
    Subjects “...Computer software Development Congresses....”
    Conference Proceeding Book
    Save to List
    Saved in:
    Software process technology : 7th European Workshop, EWSPT 2000, Kaprun, Austria, February 21-25, 2000 : proceedings /
  12. 12
    Published 1997
    Subjects “...Computer software Development Congresses....”
    Conference Proceeding Book
    Save to List
    Saved in:
    TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings /
  13. 13
    Published 1995
    Subjects “...Computer software Development Congresses....”
    Conference Proceeding Book
    Save to List
    Saved in:
    TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings /
  14. 14
    Published 1996
    Subjects “...Computer software Development Congresses....”
    Conference Proceeding Book
    Save to List
    Saved in:
    FME '96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings /
  15. 15
    Published 1995
    Subjects “...Computer software Development Congresses....”
    Conference Proceeding Book
    Save to List
    Saved in:
    Software process technology : 4th European workshop, EWSPT '95, Noordwijkerhout, The Netherlands, April 3-5, 1995 : proceedings /
  16. 16
    Published 2005
    Subjects “...Computer software Development Congresses....”
    Connect to electronic resource
    Electronic Conference Proceeding Book
    Save to List
    Saved in:
    Software product lines 9th international conference, SPLC 2005, Rennes, France, September 26-29, 2005 : proceedings /
  17. 17
    Published 1989
    Subjects “...Computer software Development Congresses....”
    Book
    Save to List
    Saved in:
    Algebraic methods : theory, tools, and applications /
  18. 18
    Published 1991
    Subjects “...Computer software Development Congresses....”
    Book
    Save to List
    Saved in:
    Algebraic methods II : theory, tools, and applications /
  19. 19
    Published 2004
    Subjects
    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 /
  20. 20
    Published 2006
    Subjects
    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 /

Search Tools: