International journal of invertebrate reproduction and development.

Published 1984

VDM '88 : VDM, the way ahead : 2nd VDM-Europe symposium, Dublin, Ireland, September, 1988 : proceedings /

Published 1988

MetaSoft primer : towards a metalanguage for applied denotational semantics /

by Blikle, Andrzej
Published 1987

Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 /

Published 1985

VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 proceedings /

Published 1987

System development and Ada /

Published 1987

TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987 /

Published 1987

Program development by specification and transformation : the PROSPECTRA methodology, language family, and system /

Published 1993

Formal program development : IFIP TC 2/WG 2.1 state-of-the-art report /

Published 1993

Object technologies for advanced software : first JSSST international symposium, Kanazawa, Japan, November 4-6, 1993 : proceedings /

Published 1993

Algebraic methods : theory, tools, and applications /

Published 1989

TAPSOFT '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 /

Published 1991

Algebraic methods II : theory, tools, and applications /

Published 1991

Software development environments and CASE technology : European symposium, Konigswinter, FRG, June 17-19, 1991 proceedings /

Published 1991

Software engineering environments : International Workshop on Environments, Chinon, France, September 18-20, 1989 /

Published 1990

TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings /

Published 1993

FME'93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings /

Published 1993

VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings /

Published 1990

TAPSOFT '89 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 /

Published 1989

VDM '91 : formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings /

Published 1991