Conference Record of POPL '95
Author:
Publisher: Pearson Education
Published: 1995
Total Pages: 422
ISBN-13: 9780897916929
DOWNLOAD EBOOKProceedings -- Parallel Computing.
Read and Download eBook Full
Author:
Publisher: Pearson Education
Published: 1995
Total Pages: 422
ISBN-13: 9780897916929
DOWNLOAD EBOOKProceedings -- Parallel Computing.
Author:
Publisher: Pearson Education
Published: 1996
Total Pages: 438
ISBN-13: 9780897917698
DOWNLOAD EBOOKAuthor:
Publisher: Pearson Education
Published: 1994
Total Pages: 494
ISBN-13: 9780897916363
DOWNLOAD EBOOKProceedings -- Parallel Computing.
Author: Symposium on Principles of Programming Languages (27, 2000, Boston, Mass.)
Publisher:
Published: 2000
Total Pages:
ISBN-13: 9781581131253
DOWNLOAD EBOOKAuthor:
Publisher: Association
Published: 2002
Total Pages: 362
ISBN-13:
DOWNLOAD EBOOKAuthor: Association for Computing Machinery
Publisher: Association for Computing Machinery (ACM)
Published: 1998
Total Pages: 428
ISBN-13: 9780897919791
DOWNLOAD EBOOKAuthor:
Publisher:
Published: 2001
Total Pages: 322
ISBN-13:
DOWNLOAD EBOOKAuthor: Symposium on Principles of Programming Languages (27, 2000, Boston, Mass.)
Publisher:
Published: 2000
Total Pages:
ISBN-13: 9781581131253
DOWNLOAD EBOOKAuthor: Eerke A. Boiten
Publisher: Springer
Published: 2003-08-02
Total Pages: 273
ISBN-13: 354045442X
DOWNLOAD EBOOKThis book constitutes the refereed proceedings of the 6th International Conference on Mathematics of Program Construction, MPC 2002, held in Dagstuhl Castle, Germany, in July 2002. The 11 revised full papers presented were carefully reviewed and selected for inclusion in the book; also presented are one invited paper and the abstracts of two invited talks. Among the topics covered are programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics.
Author:
Publisher:
Published: 2000
Total Pages:
ISBN-13: 9781581131253
DOWNLOAD EBOOK