この商品を友人に教える:
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems - Monographs in Theoretical Computer Science. An EATCS Series Roberto Gorrieri Softcover reprint of the original 1st ed. 2017 edition
価格
¥ 13.169
税抜
遠隔倉庫からの取り寄せ
発送予定日 年11月23日 - 年12月3日
クリスマスプレゼントは1月31日まで返品可能です
Roberto Gorrieri の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加
他の形態でも入手可能：
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems - Monographs in Theoretical Computer Science. An EATCS Series
Roberto Gorrieri
This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for distributed systems.
302 pages, 4 Tables, color; 4 Illustrations, color; 60 Illustrations, black and white; XIII, 302 p.
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 2018年5月9日 |
| ISBN13 | 9783319856940 |
| 出版社 | Springer International Publishing AG |
| ページ数 | 302 |
| 寸法 | 150 × 220 × 10 mm · 444 g |
| 言語 | ドイツ語 |
![Cover for Roberto Gorrieri · Introduction to Concurrency Theory: Transition Systems and CCS - Texts in Theoretical Computer Science. An EATCS Series (Paperback Book) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/388/9783319366388.jpg?roberto-gorrieri-2016-introduction-to-concurrency-theory-transition-systems-and-ccs-texts-in-theoretical-computer-science-an-eatcs-series-paperback-book&class=scaled&v=1623156656)
![Cover for Roberto Gorrieri · Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2006 edition] (2006)](https://imusic.b-cdn.net/images/item/original/931/9783540348931.jpg?roberto-gorrieri-2006-formal-methods-for-open-object-based-distributed-systems-8th-ifip-wg-6-1-international-conference-fmoods-2006-bologna-italy-june-14-16-2006-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1612814243)
![Cover for Roberto Gorrieri · Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures - Lecture Notes in Computer Science (Paperback Book) [2004 edition] (2004)](https://imusic.b-cdn.net/images/item/original/553/9783540209553.jpg?roberto-gorrieri-2004-foundations-of-security-analysis-and-design-ii-fosad-2001-2002-tutorial-lectures-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1614246088)
![Cover for Marco Ferrante · An excursion into Markov chains - UNITEXT (Paperback Book) [1st ed. 2024 edition] (2028)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Food and Mental Health: The Link between Diet and Neurological disorders: A Curated Literature Overview (Hardcover Book) [2024 edition] (2027)](https://imusic.b-cdn.net/images/item/original/091/9783031469091.jpg?2027-food-and-mental-health-the-link-between-diet-and-neurological-disorders-a-curated-literature-overview-hardcover-book&class=scaled&v=1788186815)
![Cover for Transmission Electron Microscopy: The Companion Volume (Paperback Book) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/916/9783031807916.jpg?2027-transmission-electron-microscopy-the-companion-volume-paperback-book&class=scaled&v=1780320082)
![Cover for Daniel Schatz · Sweden’s Relations with Israel and the Palestinians: An Untold History (Hardcover Book) [2024 edition] (2027)](https://imusic.b-cdn.net/images/item/original/321/9783031720321.jpg?daniel-schatz-2027-sweden-s-relations-with-israel-and-the-palestinians-an-untold-history-hardcover-book&class=scaled&v=1774494645)
![Cover for T. S. Venkatesh · Strength of Materials: Volume I: Concepts, Problems & Solutions (Hardcover Book) [Second Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/846/9783031955846.jpg?t-s-venkatesh-2027-strength-of-materials-volume-i-concepts-problems-solutions-hardcover-book&class=scaled&v=1778114493)
![Cover for Ram S. Jakhu · Sustainable Development in South Asia: The Role of Space Technologies, Laws and Policies - Space and Society (Hardcover Book) [2025 edition] (2027)](https://imusic.b-cdn.net/images/item/original/620/9783031713620.jpg?ram-s-jakhu-2027-sustainable-development-in-south-asia-the-role-of-space-technologies-laws-and-policies-space-and-society-hardcover-book&class=scaled&v=1788186816)
![Cover for Deprived Caste Across Major Religions in India: Demography and Socio-Economic Wellbeing (Hardcover Book) [2024 edition] (2027)](https://imusic.b-cdn.net/images/item/original/025/9783031765025.jpg?2027-deprived-caste-across-major-religions-in-india-demography-and-socio-economic-wellbeing-hardcover-book&class=scaled&v=1790617067)