Tipsa dina vänner om produkten:
Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures - Lecture Notes in Computer Science Bertrand Meyer 2012 edition
Pris
SEK 529
Beställningsvara
Förväntad leverans 19 - 27 okt
Få avisering om nya utgåvor med Bertrand Meyer
Lägg till din iMusic-önskelista
eller
Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures - Lecture Notes in Computer Science
Bertrand Meyer
The summer school will focus on several of the most prominent and practical of such tools from different areas of software verification (such as formal proofs, testing and model checking). During the school the participants will not only learn the principles behind the tools, but also get hands-on experience, trying the tools on real programs.
190 pages, 31 black & white illustrations, biography
| Media | Böcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
| Releasedatum | 30 november 2012 |
| ISBN13 | 9783642357459 |
| Utgivare | Springer-Verlag Berlin and Heidelberg Gm |
| Genre | Aspects (Academic) > Science / Technology Aspects |
| Antal sidor | 183 |
| Mått | 155 × 235 × 15 mm · 272 g |
| Språk | Tyska |
| Redaktör | Meyer, Bertrand |
| Redaktör | Nordio, Martin |
![Cover for Bertrand Meyer · Handbook of Requirements and Business Analysis (Pocketbok) [1st ed. 2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/389/9783031067389.jpg?bertrand-meyer-2022-handbook-of-requirements-and-business-analysis-pocketbok&class=scaled&v=1656949857)
![Cover for Bertrand Meyer · Touch of Class: Learning to Program Well with Objects and Contracts (Pocketbok) [Softcover reprint of the original 1st ed. 2009 edition] (2016)](https://imusic.b-cdn.net/images/item/original/073/9783662519073.jpg?bertrand-meyer-2016-touch-of-class-learning-to-program-well-with-objects-and-contracts-pocketbok&class=scaled&v=1612854834)
![Cover for Bertrand Meyer · Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions - Lecture Notes in Computer Science (Pocketbok) [2008 edition] (2008)](https://imusic.b-cdn.net/images/item/original/471/9783540691471.jpg?bertrand-meyer-2008-verified-software-theories-tools-experiments-first-ifip-tc-2-wg-2-3-conference-vstte-2005-zurich-switzerland-october-10-13-2005-revised-selected-papers-and-discussions-lecture-notes-in-computer-science-pocketbok&class=scaled&v=1542685836)
![Cover for Multiple Sklerose: Klinik – Therapie – Patientenfuhrung (Inbunden Bok) [1. Aufl. 2022 edition] (2028)](https://imusic.b-cdn.net/images/item/original/558/9783642229558.jpg?2028-multiple-sklerose-klinik-therapie-patientenfuhrung-inbunden-bok&class=scaled&v=1510654586)
![Cover for Peter Von Bockh · Fluidmechanik: Einfuhrendes Lehrbuch (Pocketbok) [4. Aufl. 2040 edition] (2028)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Georg Glaeser · A Mathematical Picture Book (Inbunden Bok) [1st ed. 2024 edition] (2027)](https://imusic.b-cdn.net/images/item/original/473/9783642146473.jpg?georg-glaeser-2027-a-mathematical-picture-book-inbunden-bok&class=scaled&v=1592396260)
![Cover for Georg Kupper · Nebenstrafrecht (Pocketbok) [1. Aufl. 2022 edition] (2027)](https://imusic.b-cdn.net/images/item/original/652/9783540890652.jpg?georg-kupper-2027-nebenstrafrecht-pocketbok&class=scaled&v=1487269550)
![Cover for Yuling Xie · Ore Genesis and Deposit Model: The Mianning-Dechang REE Belt in Western Sichuan Province, China - Springer Geology (Inbunden Bok) [2024 edition] (2027)](https://imusic.b-cdn.net/images/item/original/828/9783662539828.jpg?yuling-xie-2027-ore-genesis-and-deposit-model-the-mianning-dechang-ree-belt-in-western-sichuan-province-china-springer-geology-inbunden-bok&class=scaled&v=1503410043)
![Cover for Rudolf Streinz · Verfassungsrecht III: Die Einbindung der Bundesrepublik Deutschland in die Volkerrechtsgemeinschaft und in die Europaische Union (Pocketbok) [1. Aufl. 2023 edition] (2027)](https://imusic.b-cdn.net/images/item/original/579/9783540010579.jpg?rudolf-streinz-2027-verfassungsrecht-iii-die-einbindung-der-bundesrepublik-deutschland-in-die-volkerrechtsgemeinschaft-und-in-die-europaische-union-pocketbok&class=scaled&v=1505073788)
![Cover for Junrui Liang · Piezoelectric Energy Harvesting Systems: Integrated Analysis and Implementation - Green Energy and Technology (Inbunden Bok) [1st ed. 2017 edition] (2027)](https://imusic.b-cdn.net/images/item/original/025/9783662536025.jpg?junrui-liang-2027-piezoelectric-energy-harvesting-systems-integrated-analysis-and-implementation-green-energy-and-technology-inbunden-bok&class=scaled&v=1514457757)
![Cover for Uwe Gotze · Kostenrechnung und Kostenmanagement (Pocketbok) [6., aktualisierte Auflage 2025 edition] (2027)](https://imusic.b-cdn.net/images/item/original/388/9783642332388.jpg?uwe-gotze-2027-kostenrechnung-und-kostenmanagement-pocketbok&class=scaled&v=1488023188)
![Cover for Ralf Brinktrine · Fallsammlung zum Staatsrecht - Juristische ExamensKlausuren (Pocketbok) [2. Auflage 2025 edition] (2027)](https://imusic.b-cdn.net/images/item/original/614/9783540890614.jpg?ralf-brinktrine-2027-fallsammlung-zum-staatsrecht-juristische-examensklausuren-pocketbok&class=scaled&v=1608708315)
![Cover for Ines Hartel · Einfuhrung in das Klimaschutzrecht: Klimaschutz durch wohlgeordnetes Recht? (Pocketbok) [1. Aufl. 2025 edition] (2027)](https://imusic.b-cdn.net/images/item/original/461/9783540887461.jpg?ines-hartel-2027-einfuhrung-in-das-klimaschutzrecht-klimaschutz-durch-wohlgeordnetes-recht-pocketbok&class=scaled&v=1569154171)
![Cover for Jean Paul · Jean Pauls Samtliche Werke. Historisch-kritische Ausgabe: Zweite Abteilung. Band 10.3: Satiren und Ironien. Kommentar (Inbunden Bok) [1. Aufl. 2025 edition] (2027)](https://imusic.b-cdn.net/images/item/original/229/9783740012229.jpg?jean-paul-2027-jean-pauls-samtliche-werke-historisch-kritische-ausgabe-zweite-abteilung-band-10-3-satiren-und-ironien-kommentar-inbunden-bok&class=scaled&v=1606304271)
![Cover for Lorenz Oken – Gesammelte Werke: Band 3: Schriften zur Naturforschung und Politik (Inbunden Bok) [1. Aufl. 2022 edition] (2027)](https://imusic.b-cdn.net/images/item/original/243/9783740012243.jpg?2027-lorenz-oken-gesammelte-werke-band-3-schriften-zur-naturforschung-und-politik-inbunden-bok&class=scaled&v=1509376341)
![Cover for Imaging of Bone Tumors and Tumor-Like Lesions: Techniques and Applications - Medical Radiology (Inbunden Bok) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/141/9783662733141.jpg?2027-imaging-of-bone-tumors-and-tumor-like-lesions-techniques-and-applications-medical-radiology-inbunden-bok&class=scaled&v=1775079856)
![Cover for Handbuch Unternehmensorganisation: Strategien, Planung, Umsetzung (Bok) [4. Auflage 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/290/9783642420290.jpg?2026-handbuch-unternehmensorganisation-strategien-planung-umsetzung-bok&class=scaled&v=1779860172)
![Cover for Karlheinz Schuffler · Musical Scales and their Mathematics - Mathematics Study Resources (Pocketbok) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/401/9783662695401.jpg?karlheinz-schuffler-2026-musical-scales-and-their-mathematics-mathematics-study-resources-pocketbok&class=scaled&v=1735177753)
![Cover for Bo Lojek · History of Semiconductor Engineering: An Evidence-First Account (Inbunden Bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/204/9783662739204.jpg?bo-lojek-2026-history-of-semiconductor-engineering-an-evidence-first-account-inbunden-bok&class=scaled&v=1788246494)
![Cover for IAEA Atlas of Cardiac PET / CT: A Case-Study Approach (Inbunden Bok) [Second Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/870/9783662741870.jpg?2026-iaea-atlas-of-cardiac-pet-ct-a-case-study-approach-inbunden-bok&class=scaled&v=1790609841)
