Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings
Robert Giegerich, Peter Steffen (auth.), Eerke A. Boiten, Bernhard Möller (eds.)
This 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.
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.
Kategoriler:
Yıl:
2002
Baskı:
1
Yayımcı:
Springer-Verlag Berlin Heidelberg
Dil:
english
Sayfalar:
266
ISBN 10:
354045442X
ISBN 13:
9783540454427
Seriler:
Lecture Notes in Computer Science 2386
Dosya:
PDF, 2.81 MB
IPFS:
,
english, 2002
Amazon 
Barnes & Noble 
Bookshop.org
Bir kitap dükkanı eklemek ister misiniz? Bize support@z-lib.fm adresinden ulaşın
Dosyaları dönüştürün
Diğer arama sonuçları
Diğer avantajları 
