Proceedings of VERkshop III - A Formal Verification Workshop [Proceedings] Watsonville, California, 18-21 February 1985 ACM/SIGSOFT Vol 10, No 4, Aug. 1985

Proceedings of VERkshop III - A Formal Verification Workshop [Proceedings] Watsonville, California, 18-21 February 1985 ACM/SIGSOFT Vol 10, No 4, Aug. 1985

Bibliographic Details
Format:	Book
Language:	English
Published:	New York Association for Computing Machinery c1985
Subjects:	ACM PROCEEDINGS Ηλεκτρονικοί υπολογιστές > Συνέδρια SOFTWARE ENGINEERING

Similar Items

Foundations of software engineering Proceedings of the 1st ACM SIGSOFT symposium Los Angeles, California, USA, December 7-10, 1993 ACM/SIGSOFT Vol 18, no 5, December 1993
Published: (1993)

Software specification and design Proceedings of the 5th International Workshop Pittsburgh, Pennsylvania, USA May 19-20,1989 ACM/SIGSOFT Vol.14, No.3, May 1989
Published: (1989)

Software testing and analysis (ISSTA) Proceedings of the International Symposium. Cambridge, Massachusetts, USA, 28-30 June, 1993 ACM/SIGSOFT Vol.18, No 3, July 1993

Software testing, analysis, and verification (1989) Proceedings of the ACM SIGSOFT '89 3rd Symposium Key West, Florida, December 13-15, 1989 Vol.14, No.8, December 1989
Published: (1989)

Software for critical systems Proceedings of the ACM/SIGSOFT '91 conference New Orleas, Louisiana December 4-6, 1991 ACM/SIGSOFT: Vol. 16, No 5, December 1991
Published: (1991)

Practical software development environments Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium Boston, Mass. November 28-30, 1988 ACM SIGSOFT vol. 13, no 5 1988 ACM SIGPLAN vol. 24, no 2 1989
Published: (1988)

Practical software development environments Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium. Palo Alto, California. December 9-11,1986 ACM SIGPLAN Vol.22, No.1, January 1987
Published: (1986)

The 21st Annual simulation symposium Record of Proceedings Tampa, Florida, March 16-18, 1988
Published: (1988)

Organizational Computing Systems COOCS '95 [Proceedings] Conference Milpitas, California, U.S.A., August 13-16, 1995
Published: (1995)

Programming Language Design and Implementation (PLDI) Proceedings the ACM SIGPLAN '97 Conference Las Vegas, Nevada, 15-18 June, 1997 ACM/SIGPLAN: Vol. 32, No 5, May 1997
Published: (1997)

Organizational computing systems (COOCS '91) Proceedings Conference Atlanta, Georgia November 5-8, 1991 Vol.12, No.2,3
Published: (1991)

The 22nd Annual simulation symposium Record of Proceedings 1989 Eastern Multiconference Tampa, Florida, March 28-31, 1989 ACM SIGSIM Vol. 20, no 1, March 1989
Published: (1989)

The 23rd Annual simulation symposium Record of Proceedings 1990 Eastern Multiconference Nashville, Tennessee, April 23-27, 1990 ACM SIGSIM Vol. 20, no 4, April 1990
Published: (1990)

Programming Languages Design and Implementation (PLDI) 99 Proceedings of the ACM SIGPLAN '99 Conference Atlanta, Georgia, 1-4 May, 1999 ACM SIGPLAN Notices: vol. 34, no 5, May 1999
Published: (1999)

Programming Languages Design and Implementation (PLDI) 98 Proceedings of the ADM SIGPLAN '98 Conference Montreal, Canada 17-19 June 1998 ACM SIGPLAN Notices vol. 33 n. 5 may 1998
Published: (1998)

SIGAda '98 Proceedings ACM SIGAda annual international conference novmber 8-12. 1998 acm/SIGADA
Published: (1998)

The 20th Annual simulation symposium Record of Proceedings Eastern Multiconference Tampa, Florida, March 11-13, 1987
Published: (1987)

Programming Language Design and Implementation (PLDI) Proceedings of the ACM SIGPLAN '95 Conference La Jolla, CA, June 18-21, 1995 ACM/SIGPLAN Vol. 30, No 6, June 1995
Published: (1995)

Programming language design and implementation (1992) Proceedings of the ACM SIGPLAN '92 Conference San Francisco, California, June 17-19, 1992 ACM/SIGPLAN Vol. 27, No. 7, July 1992
Published: (1992)

Programming language design and implementation (1989) Proceedings of the SIGPLAN '89 Conference Portland, Oregon, June 21-23, 1989 Vol.24, No.7, July 1989
Published: (1989)

Parallel Algorithms and Architectures SPAA 2001 13th Annual ACM Symposium Crete Island, Greece, July 3-6, 2001
Published: (2001)

Parallel Algorithms and Architectures SPAA '94 6th Annual ACM Symposium Cape May, New Jersey, June 27-29, 1994
Published: (1994)

Parallel Algorithms and Architectures SPAA '95 7th Annual ACM Symposium Santa Barbara, California, July 17-19, 1995
Published: (1995)

Programming Language Design and Implementation (PLDI) Proceedings of the ACM SIGPLAN '96 Conference Philadelphia, PA , May 21-24 , 1996 ACM/SIGPLAN Vol. 31 , No 5 , May 1996
Published: (1996)

Programming language design and implementation (1988) Proceedings of the SIGPLAN '88 Conference Atlanta, Georgia, June 22-24, 1988 Vol.23, No.7, July 1988
Published: (1988)

Programming language design and implementation (1990) Proceedings of the ACM/SIGPLAN '90 Conference White Plains, New York, June 20-22, 1990 Vol.25, No.6, 1990
Published: (1990)

Principles of programming languages POPL '00: The 27th ACM SIGPLAN-SIGACT Symposium. Boston, Massachusetts 19-21 January 2000
Published: (2000)

Programming language design and implementation (1993) Proceedings of the ACM SIGPLAN '93 conference Albuquerque, NM, June 23-25 , 1993 ACM/SIGPLAN Vol. 28, No 6 , June 1993
Published: (1993)

Programming language design and implementation (1994)(PLDI) Proceedings of the SIGPLAN 1994 conference Orlando, FL, June 20-24, 1994 ACM/SIGPLAN Vol. 29, No.6, June 1994
Published: (1994)

Parallel Algorithms and Architecture 10th Annual ACM Symposium SPAA '98 Puerto Vallarta, Mexico June 28 - July 2, 1998
Published: (1998)

Organizational computing systems COOCS [Proceedings] Conference Milpitas, California, November 1-4, 1993
Published: (1993)

Parallel Algorithms and Architectures 11th Annual ACM Symposium on SPAA '99 Saint-Malo, France, 27-30 June, 1999
Published: (1999)

Computer Supported Cooperative Works 98 Proceedings of the ACM 1998 Conference Seattle, Washington November 14-18, 1998 ACM SIGCHI ACM SIGGROUP
Published: (1998)

Software Process Workshop Proceedings of the 4th International Workshop Moretonhampstead, Devon, UK, 11-13 May 1988 ACM/SIGSOFT Vol.14, No.4, June 1989
Published: (1989)

Principles of Programming Languages POPL'98 Conference Record of 25th ACM SIGPLAN-SIGACT Symposium San Diego, California 19-21 January 1998
Published: (1998)

Principles of programming languages Conference Record of the 15th Annual ACM Symposium San Diego, California, January 13-15, 1988
Published: (1988)

Computer Supported Cooperative Work CSCW 1988 Proceedings of the Conference on CSCW 88 September 26-29,1988, Portland, Oregon
Published: (1988)

Principles of programming Languages POPL'95 Conference Record of 22nd ACM SIGPLAN-SIGACT Symposium San Francisco, California, January 22-25, 1995
Published: (1995)

Crossroads in Communication Conference Proceedings. ACM SIGDOC The 15th Annual International Conference October 19-22,1997 Salt Lake City, Utah USA
Published: (1997)

Principles of programming languages POPL'94 Conference record of 21st ACM SIGPLAN-SIGACT symposium Portland, Oregon, January 17-21, 1994
Published: (1994)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών