Fortell venner om denne varen:
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation Stephan Kleuker
Har du en profil? Logg inn
Få varsel om nye utgivelser fra Stephan Kleuker
Legg til iMusic ønskeliste
eller
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation
Stephan Kleuker
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 15. september 2009 |
| ISBN13 | 9783834806697 |
| Utgivere | Vieweg+Teubner Verlag |
| Mål | 150 × 220 × 10 mm · 250 g (Estimert vekt) |
| Språk | Tysk |
![Cover for Hermann Weidenfeller · Grundlagen Der Kommunikationstechnik - Leitfaden Der Elektrotechnik (Pocketbok) [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-pocketbok&class=scaled&v=1419874666)
![Cover for T Schurmann · Vieweg Software-trainer Word Fur Windows 2.0 (Bok) [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-bok&class=scaled&v=1417671476)
![Cover for Borchard-tuch, Claudia (Zusmarshausen) · Computersysteme - Ebenbilder Der Natur?: Ein Vergleich Der Informationsverarbeitung - Facetten (Pocketbok) [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-pocketbok&class=scaled&v=1519773860)
![Cover for Augie Hansen · Programmieren Lernen Mit C: Fur C Und QuickC (Pocketbok) [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-pocketbok&class=scaled&v=1521058096)
![Cover for Priv -Doz Dr Dr Wolfram Bender · Schizophrene Erkrankungen: Therapie, Therapieresistenz -- Eine Standortbestimmung (Pocketbok) [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-pocketbok&class=scaled&v=1520722825)
![Cover for Jurgen Kohler · Warme- Und Stoffubertragung in Zweiphasenstromungen: Kondensation Und Absorption in Horizontalen Rohren - Grundlagen Und Fortschritte Der Ingenieurwissenschaften (Pocketbok) [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-pocketbok&class=scaled&v=1520120726)
![Cover for Arno Damberger · C/c++ Werkzeugkasten: Anwendungen, Hardwareschnittstellen Und Tools Fur Professionelle Programmierer (Pocketbok) [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-pocketbok&class=scaled&v=1520119247)
![Cover for Werner Dieterich · Word 3.0/4.0 Optimal Beherrscht - Software Trainer Aufbaustufe (Pocketbok) [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-pocketbok&class=scaled&v=1519169054)
![Cover for Jochen Ludewig · Software- Und Automatisierungsprojekte -- Beispiele Aus Der Praxis - Informatik Und Unternehmensfuhrung (Pocketbok) [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-pocketbok&class=scaled&v=1547266365)
![Cover for Heinz-gunther Nesselrath · Einleitung in Die Griechische Philologie (Pocketbok) [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-pocketbok&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 (Pocketbok) [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-pocketbok&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 (Pocketbok) [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-pocketbok&class=scaled&v=1425565693)
![Cover for Sandig, Anna-margarete (University of Stuttgart, Stuttgart, Germany) · Some Applications of Weighted Sobolev Spaces - Teubner-texte Zur Mathematik (Pocketbok) [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-pocketbok&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 (Pocketbok) [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-pocketbok&class=scaled&v=1520378080)
![Cover for Burkart Philipp · Grundlagen Der Makromolekularen Chemie - Wissenschaftliche Taschenbucher (Pocketbok) [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-pocketbok&class=scaled&v=1519860119)
![Cover for Friedrich Kronenberg · SCO Unix Von Anfang an: Eine Umfassende, Leicht Verstandliche Einfuhrung Fur Jeden Anwender (Pocketbok) [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-pocketbok&class=scaled&v=1453404357)
![Cover for Klaus Hohmann · Technische Wärmelehre (Viewegs Fachbücher Der Technik) (German Edition) (Pocketbok) [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-pocketbok&class=scaled&v=1520636708)
![Cover for Rui Zhao · Handsketch-Based Diagram Editing - Xteubner-Texte Zur Informatik (Pocketbok) [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-pocketbok&class=scaled&v=1605595989)
![Cover for Ernst Heinrich Hirschel · Shear Flow in Surface-Oriented Coordinate - Notes on Numerical Fluid Mechanics and Multidisciplinary Des (Pocketbok) [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-pocketbok&class=scaled&v=1501223924)
![Cover for Dietrich Bender · Einheiten, Masssysteme, Si - Wissenschaftliche Taschenbucher (Pocketbok) [1973 edition] (2014)](https://imusic.b-cdn.net/images/item/original/770/9783663019770.jpg?dietrich-bender-2014-einheiten-masssysteme-si-wissenschaftliche-taschenbucher-pocketbok&class=scaled&v=1492583858)
![Cover for Peter Jenny · Farbhunger: Texte Und Bilder Zur Aufhebung Der Gewaltenteilung Zwischen Wort Und Farbe, Begriff Und Anschauung (Pocketbok) [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-pocketbok&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 (Pocketbok) [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)