Tell your friends about this item:
Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 Rolf Drechsler 2015 edition
Price
Íkr 8,099
excl. VAT
Ordered from remote warehouse
Expected delivery Aug 13 - 27
Get notified about new Rolf Drechsler releases
Our customers say:
Add to your iMusic wish list
Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
Rolf Drechsler
This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany.
313 pages, 101 black & white illustrations, 5 colour illustrations, 8 black & white tables, biograph
More by Rolf Drechsler
Show all![Cover for Rolf Drechsler · Evolutionary Algorithms for Embedded System Design - Genetic Algorithms and Evolutionary Computation (Paperback Book) [Softcover reprint of the original 1st ed. 2003 edition] (2012)](https://imusic.b-cdn.net/images/item/original/621/9781461353621.jpg?rolf-drechsler-2012-evolutionary-algorithms-for-embedded-system-design-genetic-algorithms-and-evolutionary-computation-paperback-book&class=scaled&v=1583794125)
![Cover for Rolf Drechsler · Advanced Formal Verification (Paperback Book) [Softcover reprint of the original 1st ed. 2004 edition] (2010)](https://imusic.b-cdn.net/images/item/original/206/9781441954206.jpg?rolf-drechsler-2010-advanced-formal-verification-paperback-book&class=scaled&v=1500925902)
![Cover for Rolf Drechsler · Binary Decision Diagrams: Theory and Implementation (Paperback Book) [Softcover reprint of hardcover 1st ed. 1998 edition] (2010)](https://imusic.b-cdn.net/images/item/original/475/9781441950475.jpg?rolf-drechsler-2010-binary-decision-diagrams-theory-and-implementation-paperback-book&class=scaled&v=1547260580)
![Cover for Rolf Drechsler · Evolutionary Algorithms for Vlsi Cad (Paperback Book) [1st Ed. Softcover of Orig. Ed. 1998 edition] (2010)](https://imusic.b-cdn.net/images/item/original/406/9781441950406.jpg?rolf-drechsler-2010-evolutionary-algorithms-for-vlsi-cad-paperback-book&class=scaled&v=1605105598)
![Cover for Rolf Drechsler · Formal Verification of Circuits (Paperback Book) [1st Ed. Softcover of Orig. Ed. 2000 edition] (2010)](https://imusic.b-cdn.net/images/item/original/851/9781441949851.jpg?rolf-drechsler-2010-formal-verification-of-circuits-paperback-book&class=scaled&v=1614979876)
![Cover for Rolf Drechsler · Test Pattern Generation using Boolean Proof Engines (Paperback Book) [Softcover reprint of hardcover 1st ed. 2009 edition] (2010)](https://imusic.b-cdn.net/images/item/original/910/9789048184910.jpg?rolf-drechsler-2010-test-pattern-generation-using-boolean-proof-engines-paperback-book&class=scaled&v=1592268994)
![Cover for Rolf Drechsler · Graphenbasierte Funktionsdarstellung: Boolesche Und Pseudo-boolesche Funktionen - Xleitfaden Der Informatik (Paperback Book) [German, 1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/490/9783519021490.jpg?rolf-drechsler-1998-graphenbasierte-funktionsdarstellung-boolesche-und-pseudo-boolesche-funktionen-xleitfaden-der-informatik-paperback-book&class=scaled&v=1412636882)
More from the same publisher
![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 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)
![Cover for Julia Metzger-Traber · If the Body Politic Could Breathe in the Age of the Refugee: An Embodied Philosophy of Interconnection - Masters of Peace (Paperback Book) [1st ed. 2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/649/9783658223649.jpg?julia-metzger-traber-2018-if-the-body-politic-could-breathe-in-the-age-of-the-refugee-an-embodied-philosophy-of-interconnection-masters-of-peace-paperback-book&class=scaled&v=1533389872)
![Cover for Alina Kerber · Sexualitat in Der Personzentrierten Psychotherapie: Orientierung Fur Psychotherapeuten Und Sexualtherapeuten - Essentials (Paperback Book) [1. Aufl. 2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/683/9783658218683.jpg?alina-kerber-2018-sexualitat-in-der-personzentrierten-psychotherapie-orientierung-fur-psychotherapeuten-und-sexualtherapeuten-essentials-paperback-book&class=scaled&v=1586249500)
See all of Rolf Drechsler ( e.g. Paperback Book , Hardcover Book and Book )