26 treff

computer software development congresses
FME 2001 : formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings
International Symposium of Formal Methods Europe
Bok Engelsk 2001 · Vis mer
Proceedings of the Sixth International Workshop on Software Specification and Design, October 25-26, 1991, Como, Italy
International Workshop on Software Specification and Design
Bok Engelsk 1991 · Vis mer
Software development environments and CASE technology : European symposium, Königswinter, June 17-19, 1991 : proceedings
A. Endres, H. Weber (eds.)
Bok Engelsk 1991 · Vis mer
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
International Symposium of Formal Methods Europe
Bok Engelsk 1996 · Vis mer
Mathematical foundations of software development : proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985. 1 : Colloquium on Trees in Algebra and Programming (CAAP '85)
International Joint Conference on Theory and Practice of Software Development
Bok Engelsk 1985 · Vis mer
FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings
International Symposium of Formal Methods Europe
Bok Engelsk 1994 · Vis mer
Formal specification of complex reasoning systems
International Workshop on Formal Specification Methods forComplex Reasoning Systems
Bok Engelsk 1993 · Vis mer
First International Conference on the Software Process : manufacturing complex systems : October 21-26, 1991, Redondo Beach, California
International Conference on the Software Process
Bok Engelsk 1991 · Vis mer
VDM '91 : formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991 : proceedings. 2. Tutorials
VDM Europe. International Symposium (4: 1991 Noordwijkerhout)
Bok Engelsk 1991 · Vis mer
FME '93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 : proceedings
International Symposium of Formal Methods Europe
Bok Engelsk 1993 · Vis mer
Software process technology : 6th European workshop, EWSPT '98 : Weybridge, UK, September 16-18, 1998 : proceedings
EWSPT '98
Bok Engelsk 1998 · Vis mer
Software process technology : 5th European workshop, EWSPT '96, Nancy, France, October 9-11, 1996 : proceedings
EWSPT '96
Bok Engelsk 1996 · Vis mer
Software process technology : 4th European workshop, EWSPT '95, Noordwijkerhout, The Netherlands, April 3-5, 1995 : proceedings
EWSPT '95
Bok Engelsk 1995 · Vis mer
TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings
International Joint Conference CAAP/FASE
Bok Engelsk 1995 · Vis mer
Object technologies for advanced software : first JSSST international symposium, Kanazawa, Japan, November 4-6, 1993 : proceedings
Shojiro Nishio, Akinori Yonezawa (eds.)
Bok Engelsk 1993 · Vis mer
Experience with the management of software projects 1992 : proceedings of the Fourth IFAC/IFIP Workshop, Schloss Seggau, Austria, 18-20 May 1992
edited by P. Elzer and V. Haase
Bok Engelsk 1992 · Vis mer
TAPSOFT '93 : theory and practice of software development : 4th [i.e. 5th] International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings
International Joint Conference CAAP/FASE
Bok Engelsk 1993 · Vis mer
Experience with the management of software projects 1989 : proceedings of the Third IFAC/IFIP Workshop, Indiana, USA, 30 October-1 November, 1989
edited by F. J. Mowle and P. F. Elzer
Bok Engelsk 1990 · Vis mer
VDM '90 : VDM and Z-formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 : proceedings
VDM Europe
Bok Engelsk 1990 · Vis mer
VDM '88 : VDM, the way ahead : 2nd VDM-Europe symposium, Dublin, Ireland, September, 1988 : proceedings /
VDM '88
Bok Engelsk · Vis mer
Model driven architecture : foundations and applications : first European conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005 : proceedings
ECMDA-FA 2005
Bok Engelsk 2005 · Vis mer
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 : proceeding
TACAS '98
Bok Engelsk 1998 · Vis mer
Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
TACAS '97
Bok Engelsk 1997 · Vis mer
Algebraic methods II : theory, tools and applications
J. A. Bergstra, L. M. G. Feijs (eds.)
Bok Engelsk 1991 · Vis mer
Algebraic methods : theory, tools, and applications
M. Wirsing, J. A. Bergstra (eds.)
Bok Engelsk 1989 · Vis mer
Integrated project support environments
edited by John McDermid
Bok Engelsk 1985 · Vis mer