分享给好友:
Type Systems for Distributed Programs: Components and Sessions - Atlantis Studies in Computing Ornela Dardha 1st ed. 2016 edition
Type Systems for Distributed Programs: Components and Sessions - Atlantis Studies in Computing
Ornela Dardha
214 pages, 65 black & white illustrations, 4 colour illustrations, biography
| 介质类型 | 图书 Hardcover Book (精装硬皮书) |
| 已发行 | 2016年8月9日 |
| ISBN13 | 9789462392038 |
| 出版商 | Atlantis Press (Zeger Karssen) |
| 页数 | 192 |
| 商品尺寸 | 155 × 235 × 14 mm · 480 g |
![Cover for Johan Gielis · The Geometrical Beauty of Plants (Book) [1st ed. 2017 edition] (2017)](https://imusic.com.cn/local-image/images/item/original/505/9789462391505.jpg?johan-gielis-2017-the-geometrical-beauty-of-plants-book&class=scaled&v=1476630882)
![Cover for Mohammad Ahsanullah · Characterizations of Univariate Continuous Distributions - Atlantis Studies in Probability and Statistics (Hardcover Book) [2017 edition] (2017)](https://imusic.com.cn/local-image/images/item/original/383/9789462391383.jpg?mohammad-ahsanullah-2017-characterizations-of-univariate-continuous-distributions-atlantis-studies-in-probability-and-statistics-hardcover-book&class=scaled&v=1493494773)
![Cover for Modeling in Mathematics: Proceedings of the Second Tbilisi-Salerno Workshop on Modeling in Mathematics - Atlantis Transactions in Geometry (Hardcover Book) [1st ed. 2017 edition] (2017)](https://imusic.com.cn/local-image/images/item/original/601/9789462392601.jpg?2017-modeling-in-mathematics-proceedings-of-the-second-tbilisi-salerno-workshop-on-modeling-in-mathematics-atlantis-transactions-in-geometry-hardcover-book&class=scaled&v=1574005938)
![Cover for Zhiqiang Li · Ergodic Theory of Expanding Thurston Maps - Atlantis Studies in Dynamical Systems (Hardcover Book) [1st ed. 2017 edition] (2017)](https://imusic.com.cn/local-image/images/item/original/734/9789462391734.jpg?zhiqiang-li-2017-ergodic-theory-of-expanding-thurston-maps-atlantis-studies-in-dynamical-systems-hardcover-book&class=scaled&v=1472908546)
![Cover for Proceedings of the 23rd International Conference on Industrial Engineering and Engineering Management 2016: Theory and Application of Industrial Engineering (Hardcover Book) [1st ed. 2017 edition] (2017)](https://imusic.com.cn/local-image/images/item/original/540/9789462392540.jpg?2017-proceedings-of-the-23rd-international-conference-on-industrial-engineering-and-engineering-management-2016-theory-and-application-of-industrial-engineering-hardcover-book&class=scaled&v=1487192120)
![Cover for Joel Guidez · Superphenix: Technical and Scientific Achievements (Hardcover Book) [1st ed. 2017 edition] (2017)](https://imusic.com.cn/local-image/images/item/original/458/9789462392458.jpg?joel-guidez-2017-superphenix-technical-and-scientific-achievements-hardcover-book&class=scaled&v=1619643400)
![Cover for Proceedings of the IV Advanced Ceramics and Applications Conference (Hardcover Book) [1st ed. 2017 edition] (2017)](https://imusic.com.cn/local-image/images/item/original/120/9789462392120.jpg?2017-proceedings-of-the-iv-advanced-ceramics-and-applications-conference-hardcover-book&class=scaled&v=1487192120)
![Cover for Topics in Modern Differential Geometry - Atlantis Transactions in Geometry (Hardcover Book) [2017 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/397/9789462392397.jpg?2016-topics-in-modern-differential-geometry-atlantis-transactions-in-geometry-hardcover-book&class=scaled&v=1514486549)
![Cover for Shulmeister · Landscape and Quaternary Environmental Change in New Zealand - Atlantis Advances in Quaternary Science (Hardcover Book) [1st ed. 2017 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/366/9789462392366.jpg?shulmeister-2016-landscape-and-quaternary-environmental-change-in-new-zealand-atlantis-advances-in-quaternary-science-hardcover-book&class=scaled&v=1599464278)
![Cover for Theo Van Holten · The Atomic World Spooky? It Ain't Necessarily So!: Emergent Quantum Mechanics, How the Classical Laws of Nature Can Conspire to Cause Quantum-Like Behaviour (Hardcover Book) [1st ed. 2017 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/335/9789462392335.jpg?theo-van-holten-2016-the-atomic-world-spooky-it-ain-t-necessarily-so-emergent-quantum-mechanics-how-the-classical-laws-of-nature-can-conspire-to-cause-quantum-like-behaviour-hardcover-book&class=scaled&v=1553622770)
![Cover for Gunter Sigl · Astroparticle Physics: Theory and Phenomenology - Atlantis Studies in Astroparticle Physics and Cosmology (Hardcover Book) [1st ed. 2017 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/427/9789462392427.jpg?gunter-sigl-2016-astroparticle-physics-theory-and-phenomenology-atlantis-studies-in-astroparticle-physics-and-cosmology-hardcover-book&class=scaled&v=1488995620)
![Cover for Muhammad Qaiser Shahbaz · Ordered Random Variables: Theory and Applications - Atlantis Studies in Probability and Statistics (Hardcover Book) [2016 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/243/9789462392243.jpg?muhammad-qaiser-shahbaz-2016-ordered-random-variables-theory-and-applications-atlantis-studies-in-probability-and-statistics-hardcover-book&class=scaled&v=1583093186)
![Cover for Shou Lin · Generalized Metric Spaces and Mappings - Atlantis Studies in Mathematics (Hardcover Book) [2016 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/151/9789462392151.jpg?shou-lin-2016-generalized-metric-spaces-and-mappings-atlantis-studies-in-mathematics-hardcover-book&class=scaled&v=1542753835)
![Cover for Advances in Irish Quaternary Studies - Atlantis Advances in Quaternary Science (Hardcover Book) [1st ed. 2017 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/182/9789462392182.jpg?2016-advances-in-irish-quaternary-studies-atlantis-advances-in-quaternary-science-hardcover-book&class=scaled&v=1599464102)
![Cover for Nan Cao · Introduction to Text Visualization - Atlantis Briefs in Artificial Intelligence (Hardcover Book) [1st ed. 2016 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/857/9789462391857.jpg?nan-cao-2016-introduction-to-text-visualization-atlantis-briefs-in-artificial-intelligence-hardcover-book&class=scaled&v=1480195093)
![Cover for Svetlin G. Georgiev · Integral Equations on Time Scales - Atlantis Studies in Dynamical Systems (Hardcover Book) [1st ed. 2016 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/274/9789462392274.jpg?svetlin-g-georgiev-2016-integral-equations-on-time-scales-atlantis-studies-in-dynamical-systems-hardcover-book&class=scaled&v=1608054955)
![Cover for Sarka Necasova · Navier-Stokes Flow Around a Rotating Obstacle: Mathematical Analysis of its Asymptotic Behavior - Atlantis Briefs in Differential Equations (Paperback Book) [1st ed. 2016 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/304/9789462392304.jpg?sarka-necasova-2016-navier-stokes-flow-around-a-rotating-obstacle-mathematical-analysis-of-its-asymptotic-behavior-atlantis-briefs-in-differential-equations-paperback-book&class=scaled&v=1557506065)
![Cover for Helgi Bjoernsson · The Glaciers of Iceland: A Historical, Cultural and Scientific Overview - Atlantis Advances in Quaternary Science (Hardcover Book) [1st ed. 2017 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/069/9789462392069.jpg?helgi-bjoernsson-2016-the-glaciers-of-iceland-a-historical-cultural-and-scientific-overview-atlantis-advances-in-quaternary-science-hardcover-book&class=scaled&v=1478151783)
![Cover for Mohammad Ahsanullah · Extreme Value Distributions - Atlantis Studies in Probability and Statistics (Hardcover Book) [1st ed. 2017 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/212/9789462392212.jpg?mohammad-ahsanullah-2016-extreme-value-distributions-atlantis-studies-in-probability-and-statistics-hardcover-book&class=scaled&v=1482622707)
![Cover for Sander Klous · We are Big Data: The Future of the Information Society (Hardcover Book) [1st ed. 2016 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/826/9789462391826.jpg?sander-klous-2016-we-are-big-data-the-future-of-the-information-society-hardcover-book&class=scaled&v=1465312727)
![Cover for Abraham Achterberg · Gas Dynamics: An Introduction with Examples from Astrophysics and Geophysics (Hardcover Book) [1st ed. 2016 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/949/9789462391949.jpg?abraham-achterberg-2016-gas-dynamics-an-introduction-with-examples-from-astrophysics-and-geophysics-hardcover-book&class=scaled&v=1470653279)
![Cover for G.L.M. Groenewegen · Spaces of Continuous Functions - Atlantis Studies in Mathematics (Hardcover Book) [1st ed. 2016 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/007/9789462392007.jpg?g-l-m-groenewegen-2016-spaces-of-continuous-functions-atlantis-studies-in-mathematics-hardcover-book&class=scaled&v=1472908546)
![Cover for Gianfausto Dell'Antonio · Lectures on the Mathematics of Quantum Mechanics II: Selected Topics - Atlantis Studies in Mathematical Physics: Theory and Applications (Hardcover Book) [1st ed. 2016 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/147/9789462391147.jpg?gianfausto-dell-antonio-2016-lectures-on-the-mathematics-of-quantum-mechanics-ii-selected-topics-atlantis-studies-in-mathematical-physics-theory-and-applications-hardcover-book&class=scaled&v=1467893975)
![Cover for Nanoscience and Cultural Heritage (Hardcover Book) [2016 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/970/9789462391970.jpg?2016-nanoscience-and-cultural-heritage-hardcover-book&class=scaled&v=1618408333)
![Cover for Mike Crampin · Cartan Geometries and their Symmetries: A Lie Algebroid Approach - Atlantis Studies in Variational Geometry (Hardcover Book) [1st ed. 2016 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/918/9789462391918.jpg?mike-crampin-2016-cartan-geometries-and-their-symmetries-a-lie-algebroid-approach-atlantis-studies-in-variational-geometry-hardcover-book&class=scaled&v=1470653279)
![Cover for Thomas J. Buckholtz · Models for Physics of the Very Small and Very Large - Atlantis Studies in Mathematics for Engineering and Science (Hardcover Book) [1st ed. 2016 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/659/9789462391659.jpg?thomas-j-buckholtz-2016-models-for-physics-of-the-very-small-and-very-large-atlantis-studies-in-mathematics-for-engineering-and-science-hardcover-book&class=scaled&v=1467893975)
![Cover for Pedro Duarte · Lyapunov Exponents of Linear Cocycles: Continuity via Large Deviations - Atlantis Studies in Dynamical Systems (Hardcover Book) [1st ed. 2016 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/239/9789462391239.jpg?pedro-duarte-2016-lyapunov-exponents-of-linear-cocycles-continuity-via-large-deviations-atlantis-studies-in-dynamical-systems-hardcover-book&class=scaled&v=1462371544)
![Cover for Gennadi Sardanashvily · Noether's Theorems: Applications in Mechanics and Field Theory - Atlantis Studies in Variational Geometry (Hardcover Book) [1st ed. 2016 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/703/9789462391703.jpg?gennadi-sardanashvily-2016-noether-s-theorems-applications-in-mechanics-and-field-theory-atlantis-studies-in-variational-geometry-hardcover-book&class=scaled&v=1462371543)
![Cover for N. Banagaaya · Index-aware Model Order Reduction Methods: Applications to Differential-Algebraic Equations - Atlantis Studies in Scientific Computing in Electromagnetics (Hardcover Book) [1st ed. 2016 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/888/9789462391888.jpg?n-banagaaya-2016-index-aware-model-order-reduction-methods-applications-to-differential-algebraic-equations-atlantis-studies-in-scientific-computing-in-electromagnetics-hardcover-book&class=scaled&v=1462371554)
![Cover for Proceedings of the 22nd International Conference on Industrial Engineering and Engineering Management 2015: Innovation and Practice in Industrial Engineering and Management (Volume 2) (Hardcover Book) [1st ed. 2016 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/765/9789462391765.jpg?2016-proceedings-of-the-22nd-international-conference-on-industrial-engineering-and-engineering-management-2015-innovation-and-practice-in-industrial-engineering-and-management-volume-2-hardcover-book&class=scaled&v=1462371544)
![Cover for Proceedings of the 22nd International Conference on Industrial Engineering and Engineering Management 2015: Core Theory and Applications of Industrial Engineering (Volume 1) (Hardcover Book) [1st ed. 2016 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/796/9789462391796.jpg?2016-proceedings-of-the-22nd-international-conference-on-industrial-engineering-and-engineering-management-2015-core-theory-and-applications-of-industrial-engineering-volume-1-hardcover-book&class=scaled&v=1462371555)
![Cover for Alberto Cabada · Differential Equations with Involutions - Atlantis Briefs in Differential Equations (Paperback Book) [1st ed. 2015 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/208/9789462391208.jpg?alberto-cabada-2016-differential-equations-with-involutions-atlantis-briefs-in-differential-equations-paperback-book&class=scaled&v=1462371554)