Recent trends in data type specification 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 ; selected papers

Algebraic methodology and software technology 6th international conference, AMAST '97, Sydney, Australia, December 13 - 17, 1997 ; proceedings
Veröffentlicht: (1997)

Algebraic system specification and development a survey and annotated bibliography
Veröffentlicht: (1991)

SPECS specification and programming environment for communication software
Veröffentlicht: (1993)

Principles of program analysis
von: Nielson, Flemming, et al.
Veröffentlicht: (1999)

Principles of program analysis
von: Nielson, Flemming, et al.
Veröffentlicht: (2005)

Abstract types and the dot notation
von: Cardelli, Luca, et al.
Veröffentlicht: (1990)

Proceedings June 4 - 7, 1990, Philadelphia, PA
Veröffentlicht: (1990)

Recent Trends in Data Type Specification 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 - June 3, 1994 ; selected Papers
Veröffentlicht: (1995)

Nondeterminism in algebraic specifications and algebraic programs
von: Hußmann, Heinrich 1959-2022
Veröffentlicht: (1993)

Elements of functional programming
von: Reade, Chris
Veröffentlicht: (1989)

The OPEN process specification
von: Graham, Ian, et al.
Veröffentlicht: (1997)

Foundations of software technology and theoretical computer science 16th conference, Hyderabad, India, December 18 - 20, 1996 ; proceedings
Veröffentlicht: (1996)

Protocol specification, testing, and verification, VIII proceedings of the IFIP WG 6.1 eighth International Symposium on Protocol Specification, Testing, and Verification, Atlantic City, New Jersey, USA, June 7 - 10, 1988
Veröffentlicht: (1988)

Fifth International Conference on Data Engineering proceedings ; February 6 - 10, 1989, Los Angeles Airport Hilton and Towers, Los Angeles, California, USA
Veröffentlicht: (1989)

Typed lambda calculi and applications Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995 ; proceedings
Veröffentlicht: (1995)

Computer networking proceedings of the IFIP TC 6 Conference on Computer Networking, COMNET '90, Budapest, Hungary, 8 - 10 May, 1990
Veröffentlicht: (1990)

Foundations of parallel programming
von: Skillicorn, David B.
Veröffentlicht: (1994)

Mathematical foundations of computer science 1995 20th international symposium, MFCS '95, Prague, Czech Republic, August 28 - September 1, 1995 ; proceedings
Veröffentlicht: (1995)

Protocol specification, testing, and verification V proceedings of the IFIP WG 6.1 Fifth International Workshop on Protocol Specification, Testing, and Verification, organized by the LAAS du CRNS, Toulouse-Moissac, France, June 10 - 13, 1985
Veröffentlicht: (1986)

ACM - SIGMOD 1981 April 29 - May 1 ; the Univ. of Mich., Ann Arbor
Veröffentlicht: (1981)

Applicative high order programming the standard ML perspective
von: Sokołowski, Stefan
Veröffentlicht: (1991)

Recent trends in data type specification Caldes de Malavella, Spain, October 26 - 30, 1992 ; selected papers
Veröffentlicht: (1994)

Proceedings April 19 - 21, 1999, Hsinchu, Taiwan
Veröffentlicht: (1999)

An introduction to data base design
von: Salzberg, Betty J.
Veröffentlicht: (1986)

Proceedings 26 - 28 July 2000, Berlin, Germany
Veröffentlicht: (2000)

Software reuse: advances in software reusability 6th international conference, ICSR-6, Vienna, Austria, June 27 - 29, 2000 ; proceedings
Veröffentlicht: (2000)

Proceedings of the eleventh International Conference on Data Engineering March 6 - 10, 1995, Taipei, Taiwan
Veröffentlicht: (1995)

Logics of programs and their applications proceedings, Poznan, August 23 - 29, 1980
Veröffentlicht: (1983)

Advanced database systems
Veröffentlicht: (1997)

Problem-solving environments for scientific computing proceedings of the IFIP TC 2/W.G.2.5 Working Conference on Problem Solving Environments for Scientific Computing, Sophia Antipolis, France, 17 - 21 June, 1985
Veröffentlicht: (1987)

Systematic software development using VDM
von: Jones, Cliff B. 1944-
Veröffentlicht: (1990)

Graph-grammars and their application to computer science 2nd international workshop, Haus Ohrbeck, Germany, October 4 - 8, 1982
Veröffentlicht: (1983)

Foundations of software technology and theoretical computer science 14th conference, Madras, India, December 15 - 17, 1994 ; proceedings
Veröffentlicht: (1994)

Databases in telecommunications II VLDB 2001 International Workshop, Rome, Italy, September 10, 2001 ; proceedings
Veröffentlicht: (2001)

Pratique de l'analyse des données
Veröffentlicht: (1980)

Computer-communication networks
Veröffentlicht: (1973)