Pastāsti draugiem par šo preci:
Logic for Concurrency and Synchronisation - Trends in Logic R J De Queiroz Softcover reprint of the original 1st ed. 2003 edition
Cena
€ 118,99
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 1. - 15. sept.
Saņemiet paziņojumus par jauniem R J De Queiroz izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Logic for Concurrency and Synchronisation - Trends in Logic
R J De Queiroz
This book is for researchers in computer science, mathematical logic, and philosophical logic. It shows the state of the art in current investigations of process calculi with mainly two major paradigms at work: linear logic and modal logic.
308 pages, biography
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2013. gada 3. oktobris |
| ISBN13 | 9789401740005 |
| Izdevēji | Springer |
| Lapas | 285 |
| Izmēri | 155 × 235 × 16 mm · 435 g |
| Redaktors | De Queiroz, R.J. |
![Cover for Carsten Rossi · Happiness Hacks: Das Anti-Digital-Detox-Buch: Wie digitale Medien Sie glucklich machen konnen (Paperback Book) [1. Aufl. 2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Konrad Schmudgen · Unbounded Self-Adjoint Operators on Hilbert Space - Graduate Texts in Mathematics (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/822/9789402423822.jpg?konrad-schmudgen-2026-unbounded-self-adjoint-operators-on-hilbert-space-graduate-texts-in-mathematics-hardcover-book&class=scaled&v=1786374320)
![Cover for Joseph Zajda · Globalisation, Ideology and Neo-Liberal Higher Education Reforms - Globalisation, Comparative Education and Policy Research (Paperback Book) [2020 edition] (2021)](https://imusic.b-cdn.net/images/item/original/531/9789402417531.jpg?joseph-zajda-2021-globalisation-ideology-and-neo-liberal-higher-education-reforms-globalisation-comparative-education-and-policy-research-paperback-book&class=scaled&v=1622229829)
![Cover for Precarized Society: Social Transformation of the Welfare State - Prekarisierung und soziale Entkopplung - transdisziplinare Studien (Paperback Book) [1st ed. 2020 edition] (2020)](https://imusic.b-cdn.net/images/item/original/127/9783658224127.jpg?2020-precarized-society-social-transformation-of-the-welfare-state-prekarisierung-und-soziale-entkopplung-transdisziplinare-studien-paperback-book&class=scaled&v=1592914303)
![Cover for Dionissios T. Hristopulos · Random Fields for Spatial Data Modeling: A Primer for Scientists and Engineers - Advances in Geographic Information Science (Hardcover Book) [2020 edition] (2020)](https://imusic.b-cdn.net/images/item/original/160/9789402419160.jpg?dionissios-t-hristopulos-2020-random-fields-for-spatial-data-modeling-a-primer-for-scientists-and-engineers-advances-in-geographic-information-science-hardcover-book&class=scaled&v=1612626264)
![Cover for Moshe Dror · Modeling Uncertainty: An Examination of Stochastic Theory, Methods, and Applications - International Series in Operations Research & Management Science (Hardcover Book) [2002 edition] (2019)](https://imusic.b-cdn.net/images/item/original/633/9780792374633.jpg?moshe-dror-2019-modeling-uncertainty-an-examination-of-stochastic-theory-methods-and-applications-international-series-in-operations-research-management-science-hardcover-book&class=scaled&v=1422354786)
![Cover for Kopf · The Dao Companion to Japanese Buddhist Philosophy - Dao Companions to Chinese Philosophy (Hardcover Book) [2019 edition] (2019)](https://imusic.b-cdn.net/images/item/original/232/9789048129232.jpg?kopf-2019-the-dao-companion-to-japanese-buddhist-philosophy-dao-companions-to-chinese-philosophy-hardcover-book&class=scaled&v=1564419636)
![Cover for Simon Marius and His Research - Historical & Cultural Astronomy (Hardcover Book) [2018 edition] (2019)](https://imusic.b-cdn.net/images/item/original/209/9783319926209.jpg?2019-simon-marius-and-his-research-historical-cultural-astronomy-hardcover-book&class=scaled&v=1541913791)
![Cover for Bo-Ping Zhou-Pu-Xuan Lu · Diagnostic Imaging of Emerging Infectious Diseases (Paperback Book) [Softcover reprint of the original 1st ed. 2016 edition] (2019)](https://imusic.b-cdn.net/images/item/original/359/9789402413359.jpg?bo-ping-zhou-pu-xuan-lu-2019-diagnostic-imaging-of-emerging-infectious-diseases-paperback-book&class=scaled&v=1750335910)
![Cover for Resilience in Social, Cultural and Political Spheres (Paperback Book) [1st ed. 2019 edition] (2019)](https://imusic.b-cdn.net/images/item/original/281/9783658153281.jpg?2019-resilience-in-social-cultural-and-political-spheres-paperback-book&class=scaled&v=1496684089)
![Cover for Youru Wang · Dao Companion to Chinese Buddhist Philosophy - Dao Companions to Chinese Philosophy (Hardcover Book) [2018 edition] (2019)](https://imusic.b-cdn.net/images/item/original/386/9789048129386.jpg?youru-wang-2019-dao-companion-to-chinese-buddhist-philosophy-dao-companions-to-chinese-philosophy-hardcover-book&class=scaled&v=1539862459)
![Cover for Anke Luneburg · Auf Dem Weg Zur Fuhrungskraft: Die Innere Haltung Entwickeln (Paperback Book) [1. Aufl. 2019 edition] (2018)](https://imusic.b-cdn.net/images/item/original/857/9783658219857.jpg?anke-luneburg-2018-auf-dem-weg-zur-fuhrungskraft-die-innere-haltung-entwickeln-paperback-book&class=scaled&v=1582906646)
![Cover for Rokkam Madhavi · Digenetic Trematodes of Indian Marine Fishes (Hardcover Book) [2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/339/9789402415339.jpg?rokkam-madhavi-2018-digenetic-trematodes-of-indian-marine-fishes-hardcover-book&class=scaled&v=1541092522)
![Cover for Ferdinand Kiemeneij-Yujie Zhou-Wei Liu-Shigeru Sai · Transradial Approach for Percutaneous Interventions (Paperback Book) [Softcover Reprint of the Original 1st 2017 edition] (2018)](https://imusic.b-cdn.net/images/item/original/335/9789402413335.jpg?ferdinand-kiemeneij-yujie-zhou-wei-liu-shigeru-sai-2018-transradial-approach-for-percutaneous-interventions-paperback-book&class=scaled&v=1612694911)
![Cover for Roads to Music Sociology - Musik und Gesellschaft (Paperback Book) [1st ed. 2019 edition] (2018)](https://imusic.b-cdn.net/images/item/original/789/9783658222789.jpg?2018-roads-to-music-sociology-musik-und-gesellschaft-paperback-book&class=scaled&v=1541798980)
![Cover for Karrie A. Shogren-Todd D. Little-Shane J. Lopez-Mi · Development of Self-Determination Through the Life-Course (Paperback Book) [Softcover reprint of the original 1st ed. 2017 edition] (2018)](https://imusic.b-cdn.net/images/item/original/738/9789402414738.jpg?karrie-a-shogren-todd-d-little-shane-j-lopez-mi-2018-development-of-self-determination-through-the-life-course-paperback-book&class=scaled&v=1610001895)
![Cover for Jianmin Xu-Yunshi Zhong-Xinyu Qin · Multidisciplinary Management of Liver Metastases in Colorectal Cancer: Early Diagnosis and Treatment (Paperback Book) [Softcover reprint of the original 1st ed. 2017 edition] (2018)](https://imusic.b-cdn.net/images/item/original/004/9789402414004.jpg?jianmin-xu-yunshi-zhong-xinyu-qin-2018-multidisciplinary-management-of-liver-metastases-in-colorectal-cancer-early-diagnosis-and-treatment-paperback-book&class=scaled&v=1614251834)
![Cover for Handbook of Legal Reasoning and Argumentation (Hardcover Book) [2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/513/9789048194513.jpg?2018-handbook-of-legal-reasoning-and-argumentation-hardcover-book&class=scaled&v=1553681547)
![Cover for CyberGIS for Geospatial Discovery and Innovation - GeoJournal Library (Hardcover Book) [1st ed. 2019 edition] (2018)](https://imusic.b-cdn.net/images/item/original/292/9789402415292.jpg?2018-cybergis-for-geospatial-discovery-and-innovation-geojournal-library-hardcover-book&class=scaled&v=1544637712)
![Cover for Kai Oliver Thiele · The Views of Japanese Employees on Cross-Border M&As - Betriebswirtschaftliche Forschung zur Unternehmensfuhrung (Paperback Book) [1st ed. 2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/247/9783658225247.jpg?kai-oliver-thiele-2018-the-views-of-japanese-employees-on-cross-border-m-as-betriebswirtschaftliche-forschung-zur-unternehmensfuhrung-paperback-book&class=scaled&v=1531691090)
![Cover for Nicolas Fromm · Constructivist Niche Diplomacy: Qatar's Middle East Diplomacy as an Illustration of Small State Norm Crafting - Politik und Gesellschaft des Nahen Ostens (Paperback Book) [1st ed. 2019 edition] (2018)](https://imusic.b-cdn.net/images/item/original/186/9783658225186.jpg?nicolas-fromm-2018-constructivist-niche-diplomacy-qatar-s-middle-east-diplomacy-as-an-illustration-of-small-state-norm-crafting-politik-und-gesellschaft-des-nahen-ostens-paperback-book&class=scaled&v=1610540110)
![Cover for Clemens Forman · Coupling Power Generation with Syngas-Based Chemical Synthesis: A Process Chain Evaluation from a Power Plant Viewpoint (Paperback Book) [1st ed. 2019 edition] (2018)](https://imusic.b-cdn.net/images/item/original/084/9783658226084.jpg?clemens-forman-2018-coupling-power-generation-with-syngas-based-chemical-synthesis-a-process-chain-evaluation-from-a-power-plant-viewpoint-paperback-book&class=scaled&v=1534320264)
![Cover for Norman Bowie · Business Ethics in the 21st Century - Issues in Business Ethics (Paperback Book) [1st ed. 2013 edition] (2018)](https://imusic.b-cdn.net/images/item/original/360/9789402415360.jpg?norman-bowie-2018-business-ethics-in-the-21st-century-issues-in-business-ethics-paperback-book&class=scaled&v=1539762961)
![Cover for Thorsten Knoll · Veranstaltungsformate im Vergleich: Entscheidungshilfen zum passgenauen Event - essentials (Paperback Book) [1. Aufl. 2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/174/9783658220174.jpg?thorsten-knoll-2018-veranstaltungsformate-im-vergleich-entscheidungshilfen-zum-passgenauen-event-essentials-paperback-book&class=scaled&v=1600030010)
![Cover for Hongjun Li · Radiology of Influenza: A Practical Approach (Paperback Book) [Softcover reprint of the original 1st ed. 2016 edition] (2018)](https://imusic.b-cdn.net/images/item/original/332/9789402414332.jpg?hongjun-li-2018-radiology-of-influenza-a-practical-approach-paperback-book&class=scaled&v=1623231242)
![Cover for Florian Winke · Transient Effects in Simulations of Hybrid Electric Drivetrains - Wissenschaftliche Reihe Fahrzeugtechnik Universitat Stuttgart (Paperback Book) [1st ed. 2019 edition] (2018)](https://imusic.b-cdn.net/images/item/original/537/9783658225537.jpg?florian-winke-2018-transient-effects-in-simulations-of-hybrid-electric-drivetrains-wissenschaftliche-reihe-fahrzeugtechnik-universitat-stuttgart-paperback-book&class=scaled&v=1533042711)