この商品を友人に教える:
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation Stephan Kleuker
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation
Stephan Kleuker
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 2009年9月15日 |
| ISBN13 | 9783834806697 |
| 出版社 | Vieweg+Teubner Verlag |
| 寸法 | 150 × 220 × 10 mm · 250 g (重量（概算）) |
| 言語 | ドイツ語 |
![Cover for Hermann Weidenfeller · Grundlagen Der Kommunikationstechnik - Leitfaden Der Elektrotechnik (Paperback Book) [German, Softcover Reprint of the Original 1st Ed. 2002 edition] (2014)](https://imusic.b-cdn.net/images/item/original/067/9783663078067.jpg?hermann-weidenfeller-2014-grundlagen-der-kommunikationstechnik-leitfaden-der-elektrotechnik-paperback-book&class=scaled&v=1419874666)
![Cover for T Schurmann · Vieweg Software-trainer Word Fur Windows 2.0 (Book) [German, Softcover Reprint of the Original 1st Ed. 1992 edition] (2014)](https://imusic.b-cdn.net/images/item/original/703/9783322963703.jpg?t-schurmann-2014-vieweg-software-trainer-word-fur-windows-2-0-book&class=scaled&v=1417671476)
![Cover for Borchard-tuch, Claudia (Zusmarshausen) · Computersysteme - Ebenbilder Der Natur?: Ein Vergleich Der Informationsverarbeitung - Facetten (Paperback Book) [German, Softcover Reprint of the Original 1st Ed. 1997 edition] (2014)](https://imusic.b-cdn.net/images/item/original/040/9783663095040.jpg?borchard-tuch-claudia-zusmarshausen-2014-computersysteme-ebenbilder-der-natur-ein-vergleich-der-informationsverarbeitung-facetten-paperback-book&class=scaled&v=1519773860)
![Cover for Augie Hansen · Programmieren Lernen Mit C: Fur C Und QuickC (Paperback Book) [1990 edition] (2014)](https://imusic.b-cdn.net/images/item/original/689/9783663111689.jpg?augie-hansen-2014-programmieren-lernen-mit-c-fur-c-und-quickc-paperback-book&class=scaled&v=1521058096)
![Cover for Priv -Doz Dr Dr Wolfram Bender · Schizophrene Erkrankungen: Therapie, Therapieresistenz -- Eine Standortbestimmung (Paperback Book) [1988 edition] (2014)](https://imusic.b-cdn.net/images/item/original/299/9783663019299.jpg?priv-doz-dr-dr-wolfram-bender-2014-schizophrene-erkrankungen-therapie-therapieresistenz-eine-standortbestimmung-paperback-book&class=scaled&v=1520722825)
![Cover for Jurgen Kohler · Warme- Und Stoffubertragung in Zweiphasenstromungen: Kondensation Und Absorption in Horizontalen Rohren - Grundlagen Und Fortschritte Der Ingenieurwissenschaften (Paperback Book) [German, 1996 edition] (2014)](https://imusic.b-cdn.net/images/item/original/121/9783663118121.jpg?jurgen-kohler-2014-warme-und-stoffubertragung-in-zweiphasenstromungen-kondensation-und-absorption-in-horizontalen-rohren-grundlagen-und-fortschritte-der-ingenieurwissenschaften-paperback-book&class=scaled&v=1520120726)
![Cover for Arno Damberger · C/c++ Werkzeugkasten: Anwendungen, Hardwareschnittstellen Und Tools Fur Professionelle Programmierer (Paperback Book) [German, Softcover Reprint of the Original 1st Ed. 1994 edition] (2014)](https://imusic.b-cdn.net/images/item/original/685/9783322830685.jpg?arno-damberger-2014-c-c-werkzeugkasten-anwendungen-hardwareschnittstellen-und-tools-fur-professionelle-programmierer-paperback-book&class=scaled&v=1520119247)
![Cover for Werner Dieterich · Word 3.0/4.0 Optimal Beherrscht - Software Trainer Aufbaustufe (Paperback Book) [1988 edition] (2014)](https://imusic.b-cdn.net/images/item/original/893/9783663019893.jpg?werner-dieterich-2014-word-3-0-4-0-optimal-beherrscht-software-trainer-aufbaustufe-paperback-book&class=scaled&v=1519169054)
![Cover for Jochen Ludewig · Software- Und Automatisierungsprojekte -- Beispiele Aus Der Praxis - Informatik Und Unternehmensfuhrung (Paperback Book) [1991 edition] (2014)](https://imusic.b-cdn.net/images/item/original/935/9783322946935.jpg?jochen-ludewig-2014-software-und-automatisierungsprojekte-beispiele-aus-der-praxis-informatik-und-unternehmensfuhrung-paperback-book&class=scaled&v=1547266365)
![Cover for Heinz-gunther Nesselrath · Einleitung in Die Griechische Philologie (Paperback Book) [Softcover Reprint of the Original 1st 1997 edition] (2014)](https://imusic.b-cdn.net/images/item/original/759/9783663120759.jpg?heinz-gunther-nesselrath-2014-einleitung-in-die-griechische-philologie-paperback-book&class=scaled&v=1575784323)
![Cover for Bossel, Hartmut (Universitat Gesamthochschule Kassel Germany) · Modellbildung Und Simulation: Konzepte, Verfahren Und Modelle Zum Verhalten Dynamischer Systeme. Ein Lehr- Und Arbeitsbuch (Paperback Book) [2nd 2. Aufl. 1994. Softcover Reprint of the Origin edition] (2014)](https://imusic.b-cdn.net/images/item/original/208/9783322905208.jpg?bossel-hartmut-universitat-gesamthochschule-kassel-germany-2014-modellbildung-und-simulation-konzepte-verfahren-und-modelle-zum-verhalten-dynamischer-systeme-ein-lehr-und-arbeitsbuch-paperback-book&class=scaled&v=1414927017)
![Cover for Dieter Pratzel-wolters · Operators, Systems and Linear Algebra: Three Decades of Algebraic Systems Theory - European Consortium for Mathematics in Industry (Paperback Book) [German, 1997 edition] (2014)](https://imusic.b-cdn.net/images/item/original/249/9783663098249.jpg?dieter-pratzel-wolters-2014-operators-systems-and-linear-algebra-three-decades-of-algebraic-systems-theory-european-consortium-for-mathematics-in-industry-paperback-book&class=scaled&v=1425565693)
![Cover for Sandig, Anna-margarete (University of Stuttgart, Stuttgart, Germany) · Some Applications of Weighted Sobolev Spaces - Teubner-texte Zur Mathematik (Paperback Book) [German, 1987 edition] (2014)](https://imusic.b-cdn.net/images/item/original/867/9783663113867.jpg?sandig-anna-margarete-university-of-stuttgart-stuttgart-germany-2014-some-applications-of-weighted-sobolev-spaces-teubner-texte-zur-mathematik-paperback-book&class=scaled&v=1448365214)
![Cover for Brenner, Professor Walter (University of St Gallen Switzerland) · Unternehmensfuhrung Und Informationssystem: Der Ansatz Des St. Galler Informationssystem-Managements - Informatik Und Unternehmensfuhrung (Paperback Book) [2nd 2. Aufl. 1991. Softcover Reprint of the Origin edition] (2014)](https://imusic.b-cdn.net/images/item/original/959/9783322946959.jpg?brenner-professor-walter-university-of-st-gallen-switzerland-2014-unternehmensfuhrung-und-informationssystem-der-ansatz-des-st-galler-informationssystem-managements-informatik-und-unternehmensfuhrung-paperback-book&class=scaled&v=1520378080)
![Cover for Burkart Philipp · Grundlagen Der Makromolekularen Chemie - Wissenschaftliche Taschenbucher (Paperback Book) [2nd 2. Aufl. 1976 edition] (2014)](https://imusic.b-cdn.net/images/item/original/671/9783663019671.jpg?burkart-philipp-2014-grundlagen-der-makromolekularen-chemie-wissenschaftliche-taschenbucher-paperback-book&class=scaled&v=1519860119)
![Cover for Friedrich Kronenberg · SCO Unix Von Anfang an: Eine Umfassende, Leicht Verstandliche Einfuhrung Fur Jeden Anwender (Paperback Book) [Softcover Reprint of the Original 1st 1993 edition] (2014)](https://imusic.b-cdn.net/images/item/original/272/9783322872272.jpg?friedrich-kronenberg-2014-sco-unix-von-anfang-an-eine-umfassende-leicht-verstandliche-einfuhrung-fur-jeden-anwender-paperback-book&class=scaled&v=1453404357)
![Cover for Klaus Hohmann · Technische Wärmelehre (Viewegs Fachbücher Der Technik) (German Edition) (Paperback Book) [German, Softcover Reprint of the Original 1st Ed. 1971 edition] (2014)](https://imusic.b-cdn.net/images/item/original/241/9783663052241.jpg?klaus-hohmann-2014-technische-warmelehre-viewegs-fachbucher-der-technik-german-edition-paperback-book&class=scaled&v=1520636708)
![Cover for Rui Zhao · Handsketch-Based Diagram Editing - Xteubner-Texte Zur Informatik (Paperback Book) [1993 edition] (2014)](https://imusic.b-cdn.net/images/item/original/698/9783322953698.jpg?rui-zhao-2014-handsketch-based-diagram-editing-xteubner-texte-zur-informatik-paperback-book&class=scaled&v=1605595989)
![Cover for Ernst Heinrich Hirschel · Shear Flow in Surface-Oriented Coordinate - Notes on Numerical Fluid Mechanics and Multidisciplinary Des (Paperback Book) [1981 edition] (2014)](https://imusic.b-cdn.net/images/item/original/777/9783663052777.jpg?ernst-heinrich-hirschel-2014-shear-flow-in-surface-oriented-coordinate-notes-on-numerical-fluid-mechanics-and-multidisciplinary-des-paperback-book&class=scaled&v=1501223924)
![Cover for Dietrich Bender · Einheiten, Masssysteme, Si - Wissenschaftliche Taschenbucher (Paperback Book) [1973 edition] (2014)](https://imusic.b-cdn.net/images/item/original/770/9783663019770.jpg?dietrich-bender-2014-einheiten-masssysteme-si-wissenschaftliche-taschenbucher-paperback-book&class=scaled&v=1492583858)
![Cover for Peter Jenny · Farbhunger: Texte Und Bilder Zur Aufhebung Der Gewaltenteilung Zwischen Wort Und Farbe, Begriff Und Anschauung (Paperback Book) [German, Softcover Reprint of the Original 1st Ed. 1994 edition] (2014)](https://imusic.b-cdn.net/images/item/original/251/9783322912251.jpg?peter-jenny-2014-farbhunger-texte-und-bilder-zur-aufhebung-der-gewaltenteilung-zwischen-wort-und-farbe-begriff-und-anschauung-paperback-book&class=scaled&v=1415479687)
![Cover for Dohrn, Ralf (Bayer Technology Services Gmbh, Leverkusen, Germany Bayer Technological Services Gmbh Bayer Technological Services Gmbh Bayer Technological Services Gmbh Bayer Technology Services Gmbh, Leverkusen, Germany Bayer Technological Services Gmbh) · Berechnung Von Phasengleichgewichten - Grundlagen Und Fortschritte Der Ingenieurwissenschaften (Paperback Book) [German, 1994 edition] (2014)](https://imusic.b-cdn.net/images/item/original/123/9783322992123.jpg?dohrn-ralf-bayer-technology-services-gmbh-leverkusen-germany-bayer-technological-services-gmbh-bayer-technological-services-gmbh-bayer-technological-services-gmbh-bayer-technology-services-gmbh-leverkusen-germany-bayer-technological-services-gmbh-2014-bere&class=scaled&v=1521242498)