分享给好友:
Tool Support for System Specification, Development and Verification - Advances in Computing Sciences Rudolf Berghammer Softcover reprint of the original 1st ed. 1999 edition
Tool Support for System Specification, Development and Verification - Advances in Computing Sciences
Rudolf Berghammer
The aim of this workshop is to provide a forum for researchers interested in the use and development of tools which support the use of mathematical techniques for the specification, development and verification of systems.
241 pages, 53 black & white illustrations
| 介质类型 | 图书 Paperback Book (平装胶订图书) |
| 已发行 | 1999年3月25日 |
| ISBN13 | 9783211832820 |
| 出版商 | Springer Verlag GmbH |
| 页数 | 232 |
| 商品尺寸 | 155 × 235 × 13 mm · 353 g |
| 语言 | 德语 |
| 编辑 | Berghammer, Rudolf |
| 编辑 | Lakhnech, Yassine |
![Cover for Rudolf Berghammer · Mathematik fur die Informatik: Grundlegende Begriffe, Strukturen und Anwendungen (Paperback Book) [5. Aufl. 2024 edition] (2024)](https://imusic.com.cn/local-image/images/item/original/487/9783658441487.jpg?rudolf-berghammer-2024-mathematik-fur-die-informatik-grundlegende-begriffe-strukturen-und-anwendungen-paperback-book&class=scaled&v=1716572805)
![Cover for Rudolf Berghammer · Mathematik fur die Informatik: Grundlegende Begriffe, Strukturen und ihre Anwendung (Paperback Book) [4., erw. u. verb. Aufl. 2021 edition] (2021)](https://imusic.com.cn/local-image/images/item/original/034/9783658333034.jpg?rudolf-berghammer-2021-mathematik-fur-die-informatik-grundlegende-begriffe-strukturen-und-ihre-anwendung-paperback-book&class=scaled&v=1614693495)
![Cover for Rudolf Berghammer · Ordnungen und Verbande: Grundlagen, Vorgehensweisen und Anwendungen (Paperback Book) [2013 edition] (2014)](https://imusic.com.cn/local-image/images/item/original/100/9783658027100.jpg?rudolf-berghammer-2014-ordnungen-und-verbande-grundlagen-vorgehensweisen-und-anwendungen-paperback-book&class=scaled&v=1647925507)
![Cover for Rudolf Berghammer · Ordnungen, Verbande und Relationen mit Anwendungen (Paperback Book) [2., durchges. und korr. Aufl. 2012 edition] (2012)](https://imusic.com.cn/local-image/images/item/original/181/9783658006181.jpg?rudolf-berghammer-2012-ordnungen-verbande-und-relationen-mit-anwendungen-paperback-book&class=scaled&v=1647925230)
![Cover for Rudolf Berghammer · Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009, Proceed (Paperback Book) [2009 edition] (2009)](https://imusic.com.cn/local-image/images/item/original/384/9783642046384.jpg?rudolf-berghammer-2009-relations-and-kleene-algebra-in-computer-science-11th-international-conference-on-relational-methods-in-computer-science-relmics-2009-and-6th-international-conference-on-applications-of-kleene-algebra-aka-2009-doha-qatar-november-1-5&class=scaled&v=1508077213)
![Cover for Rudolf Berghammer · Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Pape (Paperback Book) [2004 edition] (2004)](https://imusic.com.cn/local-image/images/item/original/456/9783540221456.jpg?rudolf-berghammer-2004-relational-and-kleene-algebraic-methods-in-computer-science-7th-international-seminar-on-relational-methods-in-computer-science-and-2nd-international-workshop-on-applications-of-kleene-algebra-bad-malente-germany-may-12-17-2003-revis&class=scaled&v=1556818932)
![Cover for Dietmar Thurnher · The Neck Dissection Manual: A Step-by-Step Surgical Atlas (Hardcover Book) [2022 edition] (2026)](https://imusic.com.cn/local-image/images/missing-tall.png)
![Cover for Edwin Pfanzagl-Cardone · The Art and Science of Surround and Stereo Recording: Including 3D Audio Techniques (Hardcover Book) [1st ed. 2020 edition] (2021)](https://imusic.com.cn/local-image/images/item/original/891/9783709148891.jpg?edwin-pfanzagl-cardone-2021-the-art-and-science-of-surround-and-stereo-recording-including-3d-audio-techniques-hardcover-book&class=scaled&v=1605899035)
![Cover for Advances and Technical Standards in Neurosurgery, Vol. 33 - Advances and Technical Standards in Neurosurgery (Paperback Book) [Softcover reprint of the original 1st ed. 2008 edition] (2019)](https://imusic.com.cn/local-image/images/item/original/761/9783709148761.jpg?2019-advances-and-technical-standards-in-neurosurgery-vol-33-advances-and-technical-standards-in-neurosurgery-paperback-book&class=scaled&v=1614257341)
![Cover for Environmental Influences on the Immune System (Paperback Book) [Softcover reprint of the original 1st ed. 2016 edition] (2019)](https://imusic.com.cn/local-image/images/item/original/839/9783709148839.jpg?2019-environmental-influences-on-the-immune-system-paperback-book&class=scaled&v=1614353802)
![Cover for Jens Kuhn · Filoviruses: A Compendium of 40 Years of Epidemiological, Clinical, and Laboratory Studies - Archives of Virology. Supplementa (Paperback Book) [Softcover reprint of the original 1st ed. 2008 edition] (2019)](https://imusic.com.cn/local-image/images/item/original/754/9783709148754.jpg?jens-kuhn-2019-filoviruses-a-compendium-of-40-years-of-epidemiological-clinical-and-laboratory-studies-archives-of-virology-supplementa-paperback-book&class=scaled&v=1614702708)
![Cover for Numerical Simulation of Power Plants and Firing Systems (Paperback Book) [Softcover reprint of the original 1st ed. 2017 edition] (2018)](https://imusic.com.cn/local-image/images/item/original/860/9783709148860.jpg?2018-numerical-simulation-of-power-plants-and-firing-systems-paperback-book&class=scaled&v=1603795913)
![Cover for Health Issues in Women with Multiple Sclerosis (Paperback Book) [Softcover reprint of the original 1st ed. 2017 edition] (2018)](https://imusic.com.cn/local-image/images/item/original/877/9783709148877.jpg?2018-health-issues-in-women-with-multiple-sclerosis-paperback-book&class=scaled&v=1609479535)
![Cover for Yearbook on Space Policy 2015: Access to Space and the Evolution of Space Activities - Yearbook on Space Policy (Paperback Book) [Softcover reprint of the original 1st ed. 2017 edition] (2018)](https://imusic.com.cn/local-image/images/item/original/884/9783709148884.jpg?2018-yearbook-on-space-policy-2015-access-to-space-and-the-evolution-of-space-activities-yearbook-on-space-policy-paperback-book&class=scaled&v=1603906534)
![Cover for Molecular Parasitology: Protozoan Parasites and their Molecules (Paperback Book) [Softcover reprint of the original 1st ed. 2016 edition] (2018)](https://imusic.com.cn/local-image/images/item/original/792/9783709148792.jpg?2018-molecular-parasitology-protozoan-parasites-and-their-molecules-paperback-book&class=scaled&v=1611375823)
![Cover for Pavel G. Baranov · Magnetic Resonance of Semiconductors and Their Nanostructures: Basic and Advanced Applications - Springer Series in Materials Science (Paperback Book) [Softcover reprint of the original 1st ed. 2017 edition] (2018)](https://imusic.com.cn/local-image/images/item/original/785/9783709148785.jpg?pavel-g-baranov-2018-magnetic-resonance-of-semiconductors-and-their-nanostructures-basic-and-advanced-applications-springer-series-in-materials-science-paperback-book&class=scaled&v=1613627477)
![Cover for Thomas C. G. Bosch · The Holobiont Imperative: Perspectives from Early Emerging Animals (Paperback Book) [Softcover reprint of the original 1st ed. 2016 edition] (2018)](https://imusic.com.cn/local-image/images/item/original/846/9783709148846.jpg?thomas-c-g-bosch-2018-the-holobiont-imperative-perspectives-from-early-emerging-animals-paperback-book&class=scaled&v=1596925255)
![Cover for Katharina A. Zweig · Network Analysis Literacy (Book) [Softcover reprint of the original 1st ed. 2016 edition] (2018)](https://imusic.com.cn/local-image/images/item/original/778/9783709148778.jpg?katharina-a-zweig-2018-network-analysis-literacy-book&class=scaled&v=1603956430)
![Cover for Congenital Heart Diseases: The Broken Heart: Clinical Features, Human Genetics and Molecular Pathways (Paperback Book) [Softcover reprint of the original 1st ed. 2016 edition] (2018)](https://imusic.com.cn/local-image/images/item/original/822/9783709148822.jpg?2018-congenital-heart-diseases-the-broken-heart-clinical-features-human-genetics-and-molecular-pathways-paperback-book&class=scaled&v=1608445316)
![Cover for Yearbook on Space Policy 2014: The Governance of Space - Yearbook on Space Policy (Paperback Book) [Softcover reprint of the original 1st ed. 2016 edition] (2018)](https://imusic.com.cn/local-image/images/item/original/853/9783709148853.jpg?2018-yearbook-on-space-policy-2014-the-governance-of-space-yearbook-on-space-policy-paperback-book&class=scaled&v=1605102269)
![Cover for Wolfgang Seeger · Microanatomical Aspects for Neurosurgeons and Neuroradiologists (Paperback Book) [Softcover reprint of the original 1st ed. 2000 edition] (2018)](https://imusic.com.cn/local-image/images/item/original/360/9783709172360.jpg?wolfgang-seeger-2018-microanatomical-aspects-for-neurosurgeons-and-neuroradiologists-paperback-book&class=scaled&v=1469628938)
![Cover for W. Seeger · Microsurgery of the Cranial Base (Paperback Book) [1st ed. 1983 edition] (2017)](https://imusic.com.cn/local-image/images/item/original/902/9783709130902.jpg?w-seeger-2017-microsurgery-of-the-cranial-base-paperback-book&class=scaled&v=1502782533)
![Cover for Weber · Virtual Anthropology (Book) [Softcover reprint of the original 1st ed. 2011 edition] (2017)](https://imusic.com.cn/local-image/images/item/original/082/9783709119082.jpg?weber-2017-virtual-anthropology-book&class=scaled&v=1611685809)
![Cover for Sindou · Neurosurgery for Spasticity (Book) [Softcover reprint of the original 1st ed. 2014 edition] (2017)](https://imusic.com.cn/local-image/images/item/original/587/9783709119587.jpg?sindou-2017-neurosurgery-for-spasticity-book&class=scaled&v=1603994598)
![Cover for Simulation of Semiconductor Processes and Devices 2007 (Book) [Softcover reprint of the original 1st ed. 2007 edition] (2017)](https://imusic.com.cn/local-image/images/item/original/112/9783709119112.jpg?2017-simulation-of-semiconductor-processes-and-devices-2007-book&class=scaled&v=1608553422)
![Cover for Numerical Simulation of Power Plants and Firing Systems (Hardcover Book) [1st ed. 2017 edition] (2017)](https://imusic.com.cn/local-image/images/item/original/532/9783709148532.jpg?2017-numerical-simulation-of-power-plants-and-firing-systems-hardcover-book&class=scaled&v=1490369110)
![Cover for Pavel Baranov Baranov · Magnetic Resonance of Semiconductors and Semiconductor Nanostructures (Hardcover Book) [1st Ed. 2015 edition] (2017)](https://imusic.com.cn/local-image/images/item/original/567/9783709111567.jpg?pavel-baranov-baranov-2017-magnetic-resonance-of-semiconductors-and-semiconductor-nanostructures-hardcover-book&class=scaled&v=1599151657)
![Cover for Health Issues in Women with Multiple Sclerosis (Hardcover Book) [1st ed. 2017 edition] (2017)](https://imusic.com.cn/local-image/images/item/original/563/9783709148563.jpg?2017-health-issues-in-women-with-multiple-sclerosis-hardcover-book&class=scaled&v=1487709838)
![Cover for K. Ray Chaudhuri · Movement Disorders Curricula (Hardcover Book) [1st ed. 2017 edition] (2017)](https://imusic.com.cn/local-image/images/item/original/272/9783709116272.jpg?k-ray-chaudhuri-2017-movement-disorders-curricula-hardcover-book&class=scaled&v=1483346353)
![Cover for Yearbook on Space Policy 2015: Access to Space and the Evolution of Space Activities - Yearbook on Space Policy (Hardcover Book) [1st ed. 2017 edition] (2017)](https://imusic.com.cn/local-image/images/item/original/594/9783709148594.jpg?2017-yearbook-on-space-policy-2015-access-to-space-and-the-evolution-of-space-activities-yearbook-on-space-policy-hardcover-book&class=scaled&v=1531158804)
![Cover for Karl Menger · Selecta Mathematica II - Springer Collected Works in Mathematics (Paperback Book) [1st ed. 2003 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/631/9783709148631.jpg?karl-menger-2016-selecta-mathematica-ii-springer-collected-works-in-mathematics-paperback-book&class=scaled&v=1583889678)
![Cover for Hans Hahn · Gesammelte Abhandlungen I - Collected Works I - Springer Collected Works in Mathematics (Paperback Book) [1. Aufl. 1995 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/648/9783709148648.jpg?hans-hahn-2016-gesammelte-abhandlungen-i-collected-works-i-springer-collected-works-in-mathematics-paperback-book&class=scaled&v=1605606917)
![Cover for Hans Hahn · Gesammelte Abhandlungen II - Collected Works II - Springer Collected Works in Mathematics (Paperback Book) [1. Aufl. 1996 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/655/9783709148655.jpg?hans-hahn-2016-gesammelte-abhandlungen-ii-collected-works-ii-springer-collected-works-in-mathematics-paperback-book&class=scaled&v=1605564219)
![Cover for Hans Hahn · Gesammelte Abhandlungen III - Collected Works III - Springer Collected Works in Mathematics (Paperback Book) [1. Aufl. 1997 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/662/9783709148662.jpg?hans-hahn-2016-gesammelte-abhandlungen-iii-collected-works-iii-springer-collected-works-in-mathematics-paperback-book&class=scaled&v=1605563684)
![Cover for Karl Menger · Selecta Mathematica I - Springer Collected Works in Mathematics (Paperback Book) [1st ed. 2002 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/624/9783709148624.jpg?karl-menger-2016-selecta-mathematica-i-springer-collected-works-in-mathematics-paperback-book&class=scaled&v=1513193665)
![Cover for Molecular Parasitology: Protozoan Parasites and their Molecules (Hardcover Book) [1st ed. 2016 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/155/9783709114155.jpg?2016-molecular-parasitology-protozoan-parasites-and-their-molecules-hardcover-book&class=scaled&v=1608387270)
![Cover for Margit Pavelka · Functional Ultrastructure: Atlas of Tissue Biology and Pathology (Paperback Book) [Softcover reprint of the original 3rd ed. 2015 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/002/9783709120002.jpg?margit-pavelka-2016-functional-ultrastructure-atlas-of-tissue-biology-and-pathology-paperback-book&class=scaled&v=1521037563)
![Cover for Antonio Baici · Kinetics of Enzyme-Modifier Interactions: Selected Topics in the Theory and Diagnosis of Inhibition and Activation Mechanisms (Paperback Book) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/495/9783709119495.jpg?antonio-baici-2016-kinetics-of-enzyme-modifier-interactions-selected-topics-in-the-theory-and-diagnosis-of-inhibition-and-activation-mechanisms-paperback-book&class=scaled&v=1610784787)