Fortæl dine venner om denne vare:
String Analysis for Software Verification and Security Tevfik Bultan 1st ed. 2017 edition
Har du en konto? Log ind
Modtag notifikation om nye Tevfik Bultan udgivelser
Tilføj til din iMusic ønskeseddel
eller
String Analysis for Software Verification and Security
Tevfik Bultan
174 pages, 6 Illustrations, color; 68 Illustrations, black and white; IX, 174 p. 74 illus., 6 illus.
| Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
| Udgivet | 30. januar 2018 |
| ISBN13 | 9783319686684 |
| Forlag | Springer International Publishing AG |
| Antal sider | 174 |
| Mål | 150 × 220 × 20 mm · 439 g |
| Sprog | Tysk |
![Cover for Keren Epstein-Gilboa · The Breastfeeding Relationship and Children’s Social and Emotional Development (Hardcover bog) [2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Transmission Electron Microscopy: The Companion Volume (Paperback Bog) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/916/9783031807916.jpg?2027-transmission-electron-microscopy-the-companion-volume-paperback-bog&class=scaled&v=1780320082)
![Cover for Christopher M. Brown · The Democratization of Cuba (Hardcover bog) [2022 edition] (2027)](https://imusic.b-cdn.net/images/item/original/523/9783319660523.jpg?christopher-m-brown-2027-the-democratization-of-cuba-hardcover-bog&class=scaled&v=1594018037)
![Cover for Werner Kempf · Dermatopathology (Hardcover bog) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/711/9783031989711.jpg?werner-kempf-2026-dermatopathology-hardcover-bog&class=scaled&v=1774452112)
![Cover for Simone Cerreia-Vioglio · Principles of Mathematics for Economics (Paperback Bog) [1st ed. 2017 edition] (2026)](https://imusic.b-cdn.net/images/item/original/131/9783319447131.jpg?simone-cerreia-vioglio-2026-principles-of-mathematics-for-economics-paperback-bog&class=scaled&v=1606717221)
![Cover for T. S. Venkatesh · Strength of Materials: Volume I: Concepts, Problems & Solutions (Hardcover bog) [Second Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/846/9783031955846.jpg?t-s-venkatesh-2026-strength-of-materials-volume-i-concepts-problems-solutions-hardcover-bog&class=scaled&v=1778114493)
![Cover for Daniel Schatz · Sweden’s Relations with Israel and the Palestinians: An Untold History (Hardcover bog) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/321/9783031720321.jpg?daniel-schatz-2026-sweden-s-relations-with-israel-and-the-palestinians-an-untold-history-hardcover-bog&class=scaled&v=1774494645)
![Cover for Peter C. Hill · Measures of Religiosity and Spirituality (Bog) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/431/9783031483431.jpg?peter-c-hill-2026-measures-of-religiosity-and-spirituality-bog&class=scaled&v=1780099572)
![Cover for Keratoprostheses: Overcoming Corneal Blindness (Hardcover bog) [2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/906/9783031770906.jpg?2026-keratoprostheses-overcoming-corneal-blindness-hardcover-bog&class=scaled&v=1774452309)
![Cover for Reinhard Noll · Laser-Induced Breakdown Spectroscopy: Fundamentals and Applications (Hardcover bog) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/692/9783031853692.jpg?reinhard-noll-2026-laser-induced-breakdown-spectroscopy-fundamentals-and-applications-hardcover-bog&class=scaled&v=1774530627)
![Cover for Neculai Andrei · Modern Numerical Nonlinear Optimization - Springer Optimization and Its Applications (Hardcover bog) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/936/9783031946936.jpg?neculai-andrei-2026-modern-numerical-nonlinear-optimization-springer-optimization-and-its-applications-hardcover-bog&class=scaled&v=1774528650)
![Cover for Patricio Aroca · Regional Business Cycles in Mexico, Brazil, and Chile: A Sub-National Analysis of Economic Fluctuations - SpringerBriefs in Regional Science (Paperback Bog) [2022 edition] (2026)](https://imusic.b-cdn.net/images/item/original/658/9783319988658.jpg?patricio-aroca-2026-regional-business-cycles-in-mexico-brazil-and-chile-a-sub-national-analysis-of-economic-fluctuations-springerbriefs-in-regional-science-paperback-bog&class=scaled&v=1546500016)
![Cover for Monica Catherine O'Brien · Understanding and Responding to the French Pox in Frankfurt am Main and Nuremberg, 1495–1700: Contagion, Practicality, and Morality - Palgrave Studies in Medieval and Early Modern Medicine (Hardcover bog) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/244/9783031469244.jpg?monica-catherine-o-brien-2026-understanding-and-responding-to-the-french-pox-in-frankfurt-am-main-and-nuremberg-1495-1700-contagion-practicality-and-morality-palgrave-studies-in-medieval-and-early-modern-medicine-hardcover-bog&class=scaled&v=1780034060)
