eBook: Composability, Comprehensibility and Correctness of Working Software: 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revise
售價:
$780.00
購買後立即進貨, 約需 1-4 天
加入購物車
商品簡介
This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019.The 7 full papers and the 4 short papers included in this volume were carefully reviewed and selected. The lectures cover various programming subjects with a focus on composability, comprehensibility, and correctness of working software.
Lecture Notes in Computer Science
eBook: Wisdom, Well-Being, Win-Win: 19th International Conference, iConference 2024, Changchun, China, April 15-26, 2024, Proceedings, Part III (DRM P
eBook: Wisdom, Well-Being, Win-Win: 19th International Conference, iConference 2024, Changchun, China, April 15-26, 2024, Proceedings, Part I (DRM EPU
eBook: Wisdom, Well-Being, Win-Win: 19th International Conference, iConference 2024, Changchun, China, April 15-26, 2024, Proceedings, Part I (DRM PDF
eBook: Wisdom, Well-Being, Win-Win: 19th International Conference, iConference 2024, Changchun, China, April 15-26, 2024, Proceedings, Part II (DRM PD
eBook: Wisdom, Well-Being, Win-Win: 19th International Conference, iConference 2024, Changchun, China, April 15-26, 2024, Proceedings, Part II (DRM EP
eBook: Wisdom, Well-Being, Win-Win: 19th International Conference, iConference 2024, Changchun, China, April 15-26, 2024, Proceedings, Part III (DRM E
eBook: Web and Wireless Geographical Information Systems: 21st International Symposium, W2GIS 2024, Yverdon-les-Bains, Switzerland, June 17-18, 2024,
eBook: Web and Wireless Geographical Information Systems: 21st International Symposium, W2GIS 2024, Yverdon-les-Bains, Switzerland, June 17-18, 2024,
eBook: Advances in Cryptology - EUROCRYPT 2024: 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zuric
eBook: Advances in Cryptology - EUROCRYPT 2024: 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zuric
eBook: Topics in Cryptology - CT-RSA 2024: Cryptographers' Track at the RSA Conference 2024, San Francisco, CA, USA, May 6-9, 2024, Proceedings (DRM P
eBook: Topics in Cryptology - CT-RSA 2024: Cryptographers' Track at the RSA Conference 2024, San Francisco, CA, USA, May 6-9, 2024, Proceedings (DRM E
eBook: Theory and Applications of Models of Computation: 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024, Proceedings (DRM EPUB)
eBook: Theory and Applications of Models of Computation: 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024, Proceedings (DRM PDF)
eBook: Advances in Knowledge Discovery and Data Mining: 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwa
eBook: Advances in Cryptology - EUROCRYPT 2024: 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zuric
eBook: Advances in Cryptology - EUROCRYPT 2024: 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zuric
eBook: Advances in Knowledge Discovery and Data Mining: 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwa
eBook: Spatial Data and Intelligence: 5th China Conference, SpatialDI 2024, Nanjing, China, April 25-27, 2024, Proceedings (DRM EPUB)
eBook: Spatial Data and Intelligence: 5th China Conference, SpatialDI 2024, Nanjing, China, April 25-27, 2024, Proceedings (DRM PDF) ... [顯示此系列所有商品]