Freunden von diesem Artikel berichten:
Tool Support for System Specification, Development and Verification - Advances in Computing Sciences Rudolf Berghammer Softcover reprint of the original 1st ed. 1999 edition
Preis
SFr. 44,49
exkl. MwSt.
Bestellware
Lieferdatum: ca. 5. - 13. Nov
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Benachrichtigungen über neue Veröffentlichungen von Rudolf Berghammer erhalten
Zu deiner iMusic Wunschliste hinzufügen
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
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 25. März 1999 |
| ISBN13 | 9783211832820 |
| Verlag | Springer Verlag GmbH |
| Seitenanzahl | 232 |
| Maße | 155 × 235 × 13 mm · 353 g |
| Sprache | Deutsch |
| Redakteur | Berghammer, Rudolf |
| Redakteur | Lakhnech, Yassine |
![Cover for Rudolf Berghammer · Mathematik fur die Informatik: Grundlegende Begriffe, Strukturen und Anwendungen (Taschenbuch) [5. Aufl. 2024 edition] (2024)](https://imusic.b-cdn.net/images/item/original/487/9783658441487.jpg?rudolf-berghammer-2024-mathematik-fur-die-informatik-grundlegende-begriffe-strukturen-und-anwendungen-taschenbuch&class=scaled&v=1716572805)
![Cover for Rudolf Berghammer · Ordnungen und Verbande: Grundlagen, Vorgehensweisen und Anwendungen (Taschenbuch) [2013 edition] (2014)](https://imusic.b-cdn.net/images/item/original/100/9783658027100.jpg?rudolf-berghammer-2014-ordnungen-und-verbande-grundlagen-vorgehensweisen-und-anwendungen-taschenbuch&class=scaled&v=1647925507)
![Cover for Rudolf Berghammer · Ordnungen, Verbande und Relationen mit Anwendungen (Taschenbuch) [2., durchges. und korr. Aufl. 2012 edition] (2012)](https://imusic.b-cdn.net/images/item/original/181/9783658006181.jpg?rudolf-berghammer-2012-ordnungen-verbande-und-relationen-mit-anwendungen-taschenbuch&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 (Taschenbuch) [2009 edition] (2009)](https://imusic.b-cdn.net/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 (Taschenbuch) [2004 edition] (2004)](https://imusic.b-cdn.net/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 (Gebundenes Buch) [2022 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Edwin Pfanzagl-Cardone · The Art and Science of Surround and Stereo Recording: Including 3D Audio Techniques (Gebundenes Buch) [1st ed. 2020 edition] (2021)](https://imusic.b-cdn.net/images/item/original/891/9783709148891.jpg?edwin-pfanzagl-cardone-2021-the-art-and-science-of-surround-and-stereo-recording-including-3d-audio-techniques-gebundenes-buch&class=scaled&v=1605899035)
![Cover for John D Pickard · Advances and Technical Standards in Neurosurgery, Vol. 33 - Advances and Technical Standards in Neurosurgery (Taschenbuch) [Softcover reprint of the original 1st ed. 2008 edition] (2019)](https://imusic.b-cdn.net/images/item/original/761/9783709148761.jpg?john-d-pickard-2019-advances-and-technical-standards-in-neurosurgery-vol-33-advances-and-technical-standards-in-neurosurgery-taschenbuch&class=scaled&v=1614257341)
![Cover for Environmental Influences on the Immune System (Taschenbuch) [Softcover reprint of the original 1st ed. 2016 edition] (2019)](https://imusic.b-cdn.net/images/item/original/839/9783709148839.jpg?2019-environmental-influences-on-the-immune-system-taschenbuch&class=scaled&v=1614353802)
![Cover for Jens Kuhn · Filoviruses: A Compendium of 40 Years of Epidemiological, Clinical, and Laboratory Studies - Archives of Virology. Supplementa (Taschenbuch) [Softcover reprint of the original 1st ed. 2008 edition] (2019)](https://imusic.b-cdn.net/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-taschenbuch&class=scaled&v=1614702708)
![Cover for Numerical Simulation of Power Plants and Firing Systems (Taschenbuch) [Softcover reprint of the original 1st ed. 2017 edition] (2018)](https://imusic.b-cdn.net/images/item/original/860/9783709148860.jpg?2018-numerical-simulation-of-power-plants-and-firing-systems-taschenbuch&class=scaled&v=1603795913)
![Cover for Health Issues in Women with Multiple Sclerosis (Taschenbuch) [Softcover reprint of the original 1st ed. 2017 edition] (2018)](https://imusic.b-cdn.net/images/item/original/877/9783709148877.jpg?2018-health-issues-in-women-with-multiple-sclerosis-taschenbuch&class=scaled&v=1609479535)
![Cover for Yearbook on Space Policy 2015: Access to Space and the Evolution of Space Activities - Yearbook on Space Policy (Taschenbuch) [Softcover reprint of the original 1st ed. 2017 edition] (2018)](https://imusic.b-cdn.net/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-taschenbuch&class=scaled&v=1603906534)
![Cover for Molecular Parasitology: Protozoan Parasites and their Molecules (Taschenbuch) [Softcover reprint of the original 1st ed. 2016 edition] (2018)](https://imusic.b-cdn.net/images/item/original/792/9783709148792.jpg?2018-molecular-parasitology-protozoan-parasites-and-their-molecules-taschenbuch&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 (Taschenbuch) [Softcover reprint of the original 1st ed. 2017 edition] (2018)](https://imusic.b-cdn.net/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-taschenbuch&class=scaled&v=1613627477)
![Cover for Thomas C. G. Bosch · The Holobiont Imperative: Perspectives from Early Emerging Animals (Taschenbuch) [Softcover reprint of the original 1st ed. 2016 edition] (2018)](https://imusic.b-cdn.net/images/item/original/846/9783709148846.jpg?thomas-c-g-bosch-2018-the-holobiont-imperative-perspectives-from-early-emerging-animals-taschenbuch&class=scaled&v=1596925255)
![Cover for Katharina A. Zweig · Network Analysis Literacy (Buch) [Softcover reprint of the original 1st ed. 2016 edition] (2018)](https://imusic.b-cdn.net/images/item/original/778/9783709148778.jpg?katharina-a-zweig-2018-network-analysis-literacy-buch&class=scaled&v=1603956430)
![Cover for Yearbook on Space Policy 2014: The Governance of Space - Yearbook on Space Policy (Taschenbuch) [Softcover reprint of the original 1st ed. 2016 edition] (2018)](https://imusic.b-cdn.net/images/item/original/853/9783709148853.jpg?2018-yearbook-on-space-policy-2014-the-governance-of-space-yearbook-on-space-policy-taschenbuch&class=scaled&v=1605102269)
![Cover for Wolfgang Seeger · Microanatomical Aspects for Neurosurgeons and Neuroradiologists (Taschenbuch) [Softcover reprint of the original 1st ed. 2000 edition] (2018)](https://imusic.b-cdn.net/images/item/original/360/9783709172360.jpg?wolfgang-seeger-2018-microanatomical-aspects-for-neurosurgeons-and-neuroradiologists-taschenbuch&class=scaled&v=1469628938)
![Cover for W. Seeger · Microsurgery of the Cranial Base (Taschenbuch) [1st ed. 1983 edition] (2017)](https://imusic.b-cdn.net/images/item/original/902/9783709130902.jpg?w-seeger-2017-microsurgery-of-the-cranial-base-taschenbuch&class=scaled&v=1502782533)
![Cover for Weber · Virtual Anthropology (Buch) [Softcover reprint of the original 1st ed. 2011 edition] (2017)](https://imusic.b-cdn.net/images/item/original/082/9783709119082.jpg?weber-2017-virtual-anthropology-buch&class=scaled&v=1611685809)
![Cover for Simulation of Semiconductor Processes and Devices 2007 (Buch) [Softcover reprint of the original 1st ed. 2007 edition] (2017)](https://imusic.b-cdn.net/images/item/original/112/9783709119112.jpg?2017-simulation-of-semiconductor-processes-and-devices-2007-buch&class=scaled&v=1608553422)
![Cover for Numerical Simulation of Power Plants and Firing Systems (Gebundenes Buch) [1st ed. 2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/532/9783709148532.jpg?2017-numerical-simulation-of-power-plants-and-firing-systems-gebundenes-buch&class=scaled&v=1490369110)
![Cover for Pavel Baranov Baranov · Magnetic Resonance of Semiconductors and Semiconductor Nanostructures (Gebundenes Buch) [1st Ed. 2015 edition] (2017)](https://imusic.b-cdn.net/images/item/original/567/9783709111567.jpg?pavel-baranov-baranov-2017-magnetic-resonance-of-semiconductors-and-semiconductor-nanostructures-gebundenes-buch&class=scaled&v=1599151657)
![Cover for Health Issues in Women with Multiple Sclerosis (Gebundenes Buch) [1st ed. 2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/563/9783709148563.jpg?2017-health-issues-in-women-with-multiple-sclerosis-gebundenes-buch&class=scaled&v=1487709838)
![Cover for K. Ray Chaudhuri · Movement Disorders Curricula (Gebundenes Buch) [1st ed. 2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/272/9783709116272.jpg?k-ray-chaudhuri-2017-movement-disorders-curricula-gebundenes-buch&class=scaled&v=1483346353)
![Cover for Yearbook on Space Policy 2015: Access to Space and the Evolution of Space Activities - Yearbook on Space Policy (Gebundenes Buch) [1st ed. 2017 edition] (2017)](https://imusic.b-cdn.net/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-gebundenes-buch&class=scaled&v=1531158804)
![Cover for Karl Menger · Selecta Mathematica II - Springer Collected Works in Mathematics (Taschenbuch) [1st ed. 2003 edition] (2016)](https://imusic.b-cdn.net/images/item/original/631/9783709148631.jpg?karl-menger-2016-selecta-mathematica-ii-springer-collected-works-in-mathematics-taschenbuch&class=scaled&v=1583889678)
![Cover for Hans Hahn · Gesammelte Abhandlungen I - Collected Works I - Springer Collected Works in Mathematics (Taschenbuch) [1. Aufl. 1995 edition] (2016)](https://imusic.b-cdn.net/images/item/original/648/9783709148648.jpg?hans-hahn-2016-gesammelte-abhandlungen-i-collected-works-i-springer-collected-works-in-mathematics-taschenbuch&class=scaled&v=1605606917)
![Cover for Hans Hahn · Gesammelte Abhandlungen II - Collected Works II - Springer Collected Works in Mathematics (Taschenbuch) [1. Aufl. 1996 edition] (2016)](https://imusic.b-cdn.net/images/item/original/655/9783709148655.jpg?hans-hahn-2016-gesammelte-abhandlungen-ii-collected-works-ii-springer-collected-works-in-mathematics-taschenbuch&class=scaled&v=1605564219)
![Cover for Hans Hahn · Gesammelte Abhandlungen III - Collected Works III - Springer Collected Works in Mathematics (Taschenbuch) [1. Aufl. 1997 edition] (2016)](https://imusic.b-cdn.net/images/item/original/662/9783709148662.jpg?hans-hahn-2016-gesammelte-abhandlungen-iii-collected-works-iii-springer-collected-works-in-mathematics-taschenbuch&class=scaled&v=1605563684)
![Cover for Karl Menger · Selecta Mathematica I - Springer Collected Works in Mathematics (Taschenbuch) [1st ed. 2002 edition] (2016)](https://imusic.b-cdn.net/images/item/original/624/9783709148624.jpg?karl-menger-2016-selecta-mathematica-i-springer-collected-works-in-mathematics-taschenbuch&class=scaled&v=1513193665)
![Cover for Molecular Parasitology: Protozoan Parasites and their Molecules (Gebundenes Buch) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/155/9783709114155.jpg?2016-molecular-parasitology-protozoan-parasites-and-their-molecules-gebundenes-buch&class=scaled&v=1608387270)
![Cover for Margit Pavelka · Functional Ultrastructure: Atlas of Tissue Biology and Pathology (Taschenbuch) [Third Edition 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/002/9783709120002.jpg?margit-pavelka-2016-functional-ultrastructure-atlas-of-tissue-biology-and-pathology-taschenbuch&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 (Taschenbuch) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/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-taschenbuch&class=scaled&v=1610784787)
![Cover for Disorders of Sleep and Circadian Rhythms in Parkinson's Disease (Taschenbuch) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/730/9783709119730.jpg?2016-disorders-of-sleep-and-circadian-rhythms-in-parkinson-s-disease-taschenbuch&class=scaled&v=1608415433)
![Cover for Kevin Hoag · Vehicular Engine Design - Powertrain (Taschenbuch) [Second Edition 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/068/9783709119068.jpg?kevin-hoag-2016-vehicular-engine-design-powertrain-taschenbuch&class=scaled&v=1501422329)