Fortell venner om denne varen:
Tool Support for System Specification, Development and Verification - Advances in Computing Sciences Rudolf Berghammer Softcover reprint of the original 1st ed. 1999 edition
Pris
NOK 519
Bestillingsvarer
Forventes levert 5. - 15. jun
Legg til iMusic ønskeliste
eller
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
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 25. mars 1999 |
| ISBN13 | 9783211832820 |
| Utgivere | Springer Verlag GmbH |
| Antall sider | 232 |
| Mål | 155 × 235 × 13 mm · 353 g |
| Språk | Tysk |
| Redaktør | Berghammer, Rudolf |
| Redaktør | Lakhnech, Yassine |
Mer med Rudolf Berghammer
Vis alle![Cover for Rudolf Berghammer · Mathematik fur die Informatik: Grundlegende Begriffe, Strukturen und Anwendungen (Pocketbok) [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-pocketbok&class=scaled&v=1716572805)
![Cover for Rudolf Berghammer · Mathematik fur die Informatik: Grundlegende Begriffe, Strukturen und ihre Anwendung (Pocketbok) [4., erw. u. verb. Aufl. 2021 edition] (2021)](https://imusic.b-cdn.net/images/item/original/034/9783658333034.jpg?rudolf-berghammer-2021-mathematik-fur-die-informatik-grundlegende-begriffe-strukturen-und-ihre-anwendung-pocketbok&class=scaled&v=1614693495)
![Cover for Rudolf Berghammer · Ordnungen und Verbande: Grundlagen, Vorgehensweisen und Anwendungen (Pocketbok) [2013 edition] (2014)](https://imusic.b-cdn.net/images/item/original/100/9783658027100.jpg?rudolf-berghammer-2014-ordnungen-und-verbande-grundlagen-vorgehensweisen-und-anwendungen-pocketbok&class=scaled&v=1647925507)
![Cover for Rudolf Berghammer · Ordnungen, Verbande und Relationen mit Anwendungen (Pocketbok) [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-pocketbok&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 (Pocketbok) [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 (Pocketbok) [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)
Mere med samme udgiver
![Cover for Dietmar Thurnher · The Neck Dissection Manual: A Step-by-Step Surgical Atlas (Innbunden bok) [2022 edition] (2026)](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 (Innbunden bok) [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-innbunden-bok&class=scaled&v=1605899035)
![Cover for Advances and Technical Standards in Neurosurgery, Vol. 33 - Advances and Technical Standards in Neurosurgery (Pocketbok) [Softcover reprint of the original 1st ed. 2008 edition] (2019)](https://imusic.b-cdn.net/images/item/original/761/9783709148761.jpg?2019-advances-and-technical-standards-in-neurosurgery-vol-33-advances-and-technical-standards-in-neurosurgery-pocketbok&class=scaled&v=1614257341)
![Cover for Environmental Influences on the Immune System (Pocketbok) [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-pocketbok&class=scaled&v=1614353802)
![Cover for Jens Kuhn · Filoviruses: A Compendium of 40 Years of Epidemiological, Clinical, and Laboratory Studies - Archives of Virology. Supplementa (Pocketbok) [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-pocketbok&class=scaled&v=1614702708)
![Cover for Numerical Simulation of Power Plants and Firing Systems (Pocketbok) [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-pocketbok&class=scaled&v=1603795913)
![Cover for Health Issues in Women with Multiple Sclerosis (Pocketbok) [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-pocketbok&class=scaled&v=1609479535)
![Cover for Yearbook on Space Policy 2015: Access to Space and the Evolution of Space Activities - Yearbook on Space Policy (Pocketbok) [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-pocketbok&class=scaled&v=1603906534)
![Cover for Molecular Parasitology: Protozoan Parasites and their Molecules (Pocketbok) [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-pocketbok&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 (Pocketbok) [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-pocketbok&class=scaled&v=1613627477)
![Cover for Thomas C. G. Bosch · The Holobiont Imperative: Perspectives from Early Emerging Animals (Pocketbok) [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-pocketbok&class=scaled&v=1596925255)
![Cover for Katharina A. Zweig · Network Analysis Literacy (Bok) [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-bok&class=scaled&v=1603956430)
![Cover for Congenital Heart Diseases: The Broken Heart: Clinical Features, Human Genetics and Molecular Pathways (Pocketbok) [Softcover reprint of the original 1st ed. 2016 edition] (2018)](https://imusic.b-cdn.net/images/item/original/822/9783709148822.jpg?2018-congenital-heart-diseases-the-broken-heart-clinical-features-human-genetics-and-molecular-pathways-pocketbok&class=scaled&v=1608445316)
![Cover for Yearbook on Space Policy 2014: The Governance of Space - Yearbook on Space Policy (Pocketbok) [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-pocketbok&class=scaled&v=1605102269)
![Cover for Wolfgang Seeger · Microanatomical Aspects for Neurosurgeons and Neuroradiologists (Pocketbok) [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-pocketbok&class=scaled&v=1469628938)
![Cover for W. Seeger · Microsurgery of the Cranial Base (Pocketbok) [1st ed. 1983 edition] (2017)](https://imusic.b-cdn.net/images/item/original/902/9783709130902.jpg?w-seeger-2017-microsurgery-of-the-cranial-base-pocketbok&class=scaled&v=1502782533)
![Cover for Weber · Virtual Anthropology (Bok) [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-bok&class=scaled&v=1611685809)
![Cover for Sindou · Neurosurgery for Spasticity (Bok) [Softcover reprint of the original 1st ed. 2014 edition] (2017)](https://imusic.b-cdn.net/images/item/original/587/9783709119587.jpg?sindou-2017-neurosurgery-for-spasticity-bok&class=scaled&v=1603994598)
![Cover for Simulation of Semiconductor Processes and Devices 2007 (Bok) [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-bok&class=scaled&v=1608553422)
![Cover for Numerical Simulation of Power Plants and Firing Systems (Innbunden bok) [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-innbunden-bok&class=scaled&v=1490369110)
![Cover for Pavel Baranov Baranov · Magnetic Resonance of Semiconductors and Semiconductor Nanostructures (Innbunden bok) [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-innbunden-bok&class=scaled&v=1599151657)
![Cover for Health Issues in Women with Multiple Sclerosis (Innbunden bok) [1st ed. 2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/563/9783709148563.jpg?2017-health-issues-in-women-with-multiple-sclerosis-innbunden-bok&class=scaled&v=1487709838)
![Cover for K. Ray Chaudhuri · Movement Disorders Curricula (Innbunden bok) [1st ed. 2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/272/9783709116272.jpg?k-ray-chaudhuri-2017-movement-disorders-curricula-innbunden-bok&class=scaled&v=1483346353)
![Cover for Yearbook on Space Policy 2015: Access to Space and the Evolution of Space Activities - Yearbook on Space Policy (Innbunden bok) [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-innbunden-bok&class=scaled&v=1531158804)
![Cover for Karl Menger · Selecta Mathematica II - Springer Collected Works in Mathematics (Pocketbok) [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-pocketbok&class=scaled&v=1583889678)
![Cover for Hans Hahn · Gesammelte Abhandlungen I - Collected Works I - Springer Collected Works in Mathematics (Pocketbok) [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-pocketbok&class=scaled&v=1605606917)
![Cover for Hans Hahn · Gesammelte Abhandlungen II - Collected Works II - Springer Collected Works in Mathematics (Pocketbok) [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-pocketbok&class=scaled&v=1605564219)
![Cover for Hans Hahn · Gesammelte Abhandlungen III - Collected Works III - Springer Collected Works in Mathematics (Pocketbok) [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-pocketbok&class=scaled&v=1605563684)
![Cover for Karl Menger · Selecta Mathematica I - Springer Collected Works in Mathematics (Pocketbok) [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-pocketbok&class=scaled&v=1513193665)
![Cover for Molecular Parasitology: Protozoan Parasites and their Molecules (Innbunden bok) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/155/9783709114155.jpg?2016-molecular-parasitology-protozoan-parasites-and-their-molecules-innbunden-bok&class=scaled&v=1608387270)
![Cover for Margit Pavelka · Functional Ultrastructure: Atlas of Tissue Biology and Pathology (Pocketbok) [Softcover reprint of the original 3rd ed. 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-pocketbok&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 (Pocketbok) [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-pocketbok&class=scaled&v=1610784787)
Se alt med Rudolf Berghammer ( f.eks. Pocketbok )