Ergebnisse filtern
-
- 327
- 84
- 1
-
- 27
- 109
- 191
- 85
-
- 344
- 68
-
- 405
- 7
-
- 412
- 47
-
Cohen / Rybalchenko Verified Software: Theorie, Tools, Experiments
5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-54107-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kleuker Formale Modelle der Softwareentwicklung
Model-Checking, Verifikation, Analyse und Simulation2009Verlag: Vieweg+Teubner VerlagISBN: 978-3-8348-0669-7Medium: Buch37,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wolter / van Moorsel / Avritzer Resilience Assessment and Evaluation of Computing Systems
2012Verlag: SpringerISBN: 978-3-642-29031-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Veanes / Vigano Tests and Proofs
7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38915-3Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Matsinopoulos Practical Test Automation
Learn to Use Jasmine, RSpec, and Cucumber Effectively for Your TDD and BDD1. Auflage 2020Verlag: ApressISBN: 978-1-4842-6140-8Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Riedel / Verl / Wortmann Methodik für eine ganzheitliche Testautomatisierung beim Systemtest von automatisierten Fertigungssystemen.
Erscheinungsjahr 2022Verlag: Fraunhofer VerlagISBN: 978-3-8396-1817-2Medium: Buch84,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dumke Theorie und Praxis der Softwaremessung
1994Verlag: Deutscher UniversitätsverlagISBN: 978-3-8244-2061-2Medium: Buch54,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cerny / Korchemny / Dudani SVA: The Power of Assertions in SystemVerilog
Softcover Nachdruck of the original 2. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-33109-6Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Motet / Geffroy Design of Dependable Computing Systems
2002Verlag: Springer NetherlandsISBN: 978-1-4020-0437-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sakallah / Simon Theory and Application of Satisfiability Testing
14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21580-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sweeney Visual Basic for Testers
Softcover Nachdruck of the Original 1. Auflage 2001Verlag: ApressISBN: 978-1-893115-53-8Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Testmethoden für sequentielle und nebenläufige Software-Systeme
1997Verlag: Vieweg+Teubner VerlagISBN: 978-3-519-02274-9Medium: Buch49,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Motet / Geffroy Design of Dependable Computing Systems
1. Auflage. Softcover version of original hardcover Auflage 2002Verlag: Springer NetherlandsISBN: 978-90-481-5941-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schlich Softwaretesten nach ISTQB CTFL 4.0 für Dummies
1. Auflage 2024Verlag: Wiley-VCH GmbHISBN: 978-3-527-72165-8Medium: Buch29,00 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage -
Palani Automated Software Testing with Cypress
1. Auflage 2021Verlag: Auerbach PublicationsISBN: 978-0-367-69954-3Medium: Buch55,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Myers / Sandler / Badgett The Art of Software Testing
3. Auflage 2011Verlag: WILEYISBN: 978-1-118-03196-4Medium: Buch160,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Karasulu / Korukoglu Performance Evaluation Software
Moving Object Detection and Tracking in Videos1. Auflage 2013Verlag: SpringerISBN: 978-1-4614-6533-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mwaura End-to-End Web Testing with Cypress
Explore techniques for automated frontend web testing with Cypress and JavaScript1. Auflage 2021Verlag: De GruyterISBN: 978-1-83921-563-6Medium: eBookFormat: EPUB
Kopierschutz: 0 - No protection29,99 € (inkl. MwSt.)
sofort verfügbar -
Baloch Web Hacking Arsenal and Ethical Hacking Set
1. Auflage 2024Verlag: Taylor & FrancisISBN: 978-1-032-99743-8Medium: BuchLieferzeit ca. 10 Werktage -
Zhu Data Plane Development Kit (DPDK)
A Software Optimization Guide to the User Space-Based Network Applications1. Auflage 2020Verlag: CRC PressISBN: 978-0-367-37395-5Medium: Buch78,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Witte Testmanagement und Softwaretest
Theoretische Grundlagen und praktische Umsetzung1. Auflage 2016Verlag: SpringerISBN: 978-3-658-09963-3Medium: Buch44,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Intelligent Algorithms
Theory and PracticeErscheinungsjahr 2024Verlag: Elsevier Science & TechnologyISBN: 978-0-443-21758-6Medium: BuchLieferzeit ca. 10 Werktage -
McWherter / Hall Testing ASP.NET Web Applications
Erscheinungsjahr 2009Verlag: WroxISBN: 978-0-470-49664-0Medium: Buch60,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chopra Software Testing
A Self-Teaching Introduction1. Auflage 2018Verlag: Mercury Learning and InformationISBN: 978-1-68392-166-0Medium: Buch59,95 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chopra Software Quality Assurance
A Self-Teaching Introduction1. Auflage 2018Verlag: Mercury Learning and InformationISBN: 978-1-68392-168-4Medium: Buch54,95 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chaubal Selenium WebDriver Quick Start Guide
Write clear, readable, and reliable tests with Selenium WebDriver 31. Auflage 2018Verlag: De GruyterISBN: 978-1-78961-134-2Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)23,49 € (inkl. MwSt.)
sofort verfügbar -
Shetty Hands-On Automation Testing with Java for Beginners
Build automation testing frameworks from scratch with Java1. Auflage 2018Verlag: De GruyterISBN: 978-1-78953-976-9Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)23,49 € (inkl. MwSt.)
sofort verfügbar -
Chapman / Holmes Observability with Grafana
Monitor, control, and visualize your Kubernetes and cloud platforms using the LGTM stack1. Auflage 2024Verlag: De GruyterISBN: 978-1-80324-964-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark29,99 € (inkl. MwSt.)
sofort verfügbar -
R Sharma Selenium with Python - A Beginner's Guide
Get started with Selenium using Python as a programming language1. Auflage 2019Verlag: De GruyterISBN: 978-93-89328-82-0Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)14,49 € (inkl. MwSt.)
sofort verfügbar -
Welch Real-World SRE
The Survival Guide for Responding to a System Outage and Maximizing Uptime1. Auflage 2018Verlag: De GruyterISBN: 978-1-78862-644-6Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)30,99 € (inkl. MwSt.)
sofort verfügbar -
Collin Mastering Selenium WebDriver 3.0
Boost the performance and reliability of your automated checks by mastering Selenium WebDriver2. Auflage 2018Verlag: De GruyterISBN: 978-1-78829-368-6Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)37,99 € (inkl. MwSt.)
sofort verfügbar -
van Vugt Automated Testing in Microsoft Dynamics 365 Business Central
Efficiently automate test cases in Dynamics NAV and Business Central1. Auflage 2019Verlag: De GruyterISBN: 978-1-78980-421-8Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)19,49 € (inkl. MwSt.)
sofort verfügbar -
Sambamurthy Test Automation Engineering Handbook
Learn and implement techniques for building robust test automation frameworks1. Auflage 2023Verlag: De GruyterISBN: 978-1-80461-967-4Medium: eBookFormat: EPUB
Kopierschutz: 0 - No protection31,19 € (inkl. MwSt.)
sofort verfügbar -
Fournier Essential Software Testing
A Use-Case Approach1. Auflage 2008Verlag: Taylor & FrancisISBN: 978-1-4200-8983-7Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)91,49 € (inkl. MwSt.)
sofort verfügbar -
Schultz / Bryant Game Testing
All in One3. Auflage 2016Verlag: De GruyterISBN: 978-1-944534-42-4Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)34,99 € (inkl. MwSt.)
sofort verfügbar -
Bhanushali / Achanta Continuous Integration and Delivery with Test-driven Development
Cultivating quality, speed, and collaboration through automated pipelines (English Edition)1. Auflage 2024Verlag: De GruyterISBN: 978-93-5551-920-7Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)23,99 € (inkl. MwSt.)
sofort verfügbar -
L Bratcher Creating iOS apps with Xcode
Learn how to develop your own app (English Edition)1. Auflage 2024Verlag: De GruyterISBN: 978-93-5551-944-3Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)23,99 € (inkl. MwSt.)
sofort verfügbar -
Singh Functional Software Size Measurement Methodology with Effort Estimation and Performance Indication
1. Auflage 2017Verlag: WileyISBN: 978-1-119-23805-8Medium: Buch125,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Memon Advances in Computers
1. Auflage 2015Verlag: Academic PressISBN: 978-0-12-802339-6Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)130,00 € (inkl. MwSt.)
sofort verfügbar -
Baloch Web Hacking Arsenal
A Practical Guide to Modern Web Pentesting1. Auflage 2024Verlag: CRC PressISBN: 978-1-032-44717-9Medium: Buch140,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bitsch / Guiochet / Kaâniche Computer Safety, Reliability, and Security
32nd International Conference, SAFECOMP 2013, Toulouse, France, September 14-27, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40792-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Xu / Xie Essential Spectrum-based Fault Localization
1. Auflage 2021Verlag: Springer Nature SingaporeISBN: 978-981-336-178-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wotawa / Nica / Kushik Testing Software and Systems
28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-47442-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Biere / Bloem Computer Aided Verification
26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-08866-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kleuker Qualitätssicherung durch Softwaretests
Vorgehensweisen und Werkzeuge zum Testen von Java-Programmen2. erweiterte und aktualisierte Auflage 2019Verlag: SpringerISBN: 978-3-658-24885-7Medium: Buch34,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Paranj Test Driven Development in Ruby
A Practical Introduction to TDD Using Problem and Solution Domain Analysis1. Auflage 2017Verlag: ApressISBN: 978-1-4842-2637-7Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sharma / Gundecha / Avasarala Selenium WebDriver 3 Practical Guide
End-to-end automation testing for web and mobile browsers with Selenium WebDriver2. Auflage 2018Verlag: De GruyterISBN: 978-1-78899-601-3Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)30,99 € (inkl. MwSt.)
sofort verfügbar -
Shpakovskyi Modern Web Testing with TestCafe
Get to grips with end-to-end web testing with TestCafe and JavaScript1. Auflage 2020Verlag: De GruyterISBN: 978-1-80020-596-3Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)19,49 € (inkl. MwSt.)
sofort verfügbar -
Buchanan / Ramachandran Kali Linux: Wireless Penetration Testing Beginner's Guide, Second Edition
Master wireless testing techniques to survey and attack wireless networks with Kali Linux1. Auflage 2015Verlag: De GruyterISBN: 978-1-78328-042-1Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)34,99 € (inkl. MwSt.)
sofort verfügbar -
Tiwari / Kumar Component-Based Software Engineering
Methods and Metrics1. Auflage 2020Verlag: Chapman and Hall/CRCISBN: 978-0-367-35488-6Medium: Buch146,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kuhn / Kacker / Lei Introduction to Combinatorial Testing
1. Auflage 2013Verlag: Taylor & FrancisISBN: 978-1-4665-5230-2Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)91,49 € (inkl. MwSt.)
sofort verfügbar -
Callaway / Hunt Practical Test-Driven Development using C# 7
Unleash the power of TDD by implementing real world examples under .NET environment and JavaScript1. Auflage 2018Verlag: De GruyterISBN: 978-1-78839-060-6Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)36,99 € (inkl. MwSt.)
sofort verfügbar -
Bongard / Dussa-Zieger / Reißing Basiswissen Automotive Softwaretest
Aus- und Weiterbildung zum ISTQB® Foundation Level Specialist - Certified Automotive Software Tester1. Auflage 2020Verlag: dpunkt.VerlagISBN: 978-3-86490-580-3Medium: Buch34,90 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage -
Winterholer / Lettnin Embedded Software Verification and Debugging
Softcover Nachdruck of the original 1. Auflage 2017Verlag: SpringerISBN: 978-1-4939-7931-8Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Franz / Tremmel / Kruse Basiswissen Testdatenmanagement
Aus- und Weiterbildung zumTest Data Specialist - Certified TesterFoundationLevel nach GTB1. Auflage 2018Verlag: Dpunkt.Verlag GmbHISBN: 978-3-86490-558-2Medium: Buch32,90 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage -
Biere / Nahir / Vos Hardware and Software: Verification and Testing
8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected PapersErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-39610-6Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Goossens / Vermeulen Debugging Systems-on-Chip
Communication-centric and Abstraction-based Techniques2014Verlag: Springer International PublishingISBN: 978-3-319-06241-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Röttger / Runze / Dietrich Basiswissen KI-Testen
Qualität von und mit KI-basierten Systemen Aus- und Weiterbildung zum 'Certified Tester AI Testing'- Foundation Level Specialist nach ISTQB®-Standard1. Auflage 2024Verlag: dpunkt.VerlagISBN: 978-3-86490-947-4Medium: Buch34,90 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage -
Gupta Pro Apache Log4j
2. Auflage 2014Verlag: ApressISBN: 978-1-4302-1159-4Medium: Buch54,85 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Deshmukh / Nickovic / Nickovic Runtime Verification
20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-60507-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gaston / Kosmatov / Le Gall Testing Software and Systems
31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-31279-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bondavalli / Di Giandomenico Computer Safety, Reliability, and Security
33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-10505-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dubois / Wolff Tests and Proofs
12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-92993-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Goyal / Pandey Early Software Reliability Prediction
A Fuzzy Logic ApproachSoftcover Nachdruck of the original 1. Auflage 2013Verlag: Springer IndiaISBN: 978-81-322-1742-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Meyer / Nordio Tools for Practical Software Verification
International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures1. Auflage 2012Verlag: SpringerISBN: 978-3-642-35745-9Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Winterholer / Lettnin Embedded Software Verification and Debugging
1. Auflage 2017Verlag: SpringerISBN: 978-1-4614-2265-5Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gogolla / Wolff Tests and Proofs
5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21767-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Oviatt / Cohen The Paradigm Shift to Multimodality in Contemporary Computer Interfaces
Erscheinungsjahr 2015Verlag: SpringerISBN: 978-3-031-01085-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Blunden Software Exorcism
A Handbook for Debugging and Optimizing Legacy CodeSoftcover Nachdruck of the Original 1. Auflage 2013Verlag: ApressISBN: 978-1-4302-5423-2Medium: Buch26,74 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gaur / Zwolinski / Singh VLSI Design and Test
17th International Symposium, VDAT 2013, Jaipur, India, July 27-30, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-42023-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bomarius / Liggesmeyer / Rombach Supervised Testing of Embedded Concurrent Software.
Erscheinungsjahr 2021Verlag: Fraunhofer VerlagISBN: 978-3-8396-1683-3Medium: Buch61,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bertacco / Legay Hardware and Software: Verification and Testing
9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-319-03076-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gühmann / von Rüden / Riese Simulation and Testing for Vehicle Technology
7th Conference, Berlin, May 12-13, 2016Softcover Nachdruck of the original 1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-81262-5Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cotroneo Innovative Technologies for Dependable OTS-Based Critical Systems
Challenges and Achievements of the CRITICAL STEP Project2013Verlag: Springer MilanISBN: 978-88-470-5557-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Iyoda / de Moura Formal Methods: Foundations and Applications
16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-41070-3Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Leavens / O'Hearn / Rajamani Verified Software: Theories, Tools, Experiments
Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15056-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Blunden Software Exorcism
1. Auflage 2012Verlag: ApressISBN: 978-1-4302-5107-1Medium: Buch40,65 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Yahav Hardware and Software: Verification and Testing
10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-13337-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Xu / Xie Essential Spectrum-based Fault Localization
1. Auflage 2021Verlag: Springer Nature SingaporeISBN: 978-981-336-181-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pasareanu Model Checking Software
16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02651-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dienstfrey / Boisvert Uncertainty Quantification in Scientific Computing
10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-43293-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Laski / Stanley Software Verification and Analysis
An Integrated, Hands-On Approach2009. Auflage 2009Verlag: SpringerISBN: 978-1-84882-239-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Spillner / Linz Basiswissen Softwaretest
Aus- und Weiterbildung zum Certified Tester - Foundation Level nach ISTQB®-Standard7. überarbeitete und aktualisierte Auflage 2024Verlag: dpunkt.VerlagISBN: 978-3-98889-005-4Medium: Buch39,90 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage -
Bender / McWherter Professional Test Driven Development with C
Developing Real World Applications with Tdd1. Auflage 2011Verlag: WileyISBN: 978-0-470-64320-4Medium: Buch42,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Blunden Software Exorcism
A Handbook for Debugging and Optimizing Legacy Code1. Auflage 2003Verlag: ApressISBN: 978-1-59059-234-2Medium: Buch48,14 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cerny / Korchemny / Dudani SVA: The Power of Assertions in SystemVerilog
2. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-07138-1Medium: Buch181,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Eloff / Bihina Bella Software Failure Investigation
A Near-Miss Analysis Approach1. Auflage 2018Verlag: SpringerISBN: 978-3-319-61333-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bultan / Yu / Alkhalaf String Analysis for Software Verification and Security
1. Auflage 2017Verlag: SpringerISBN: 978-3-319-68668-4Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rombach / Dumke Software-Messung und -Bewertung
Tagungsband Workshop der GI-Fachgruppe 2.1.10 10./11. September 2001 an der Universität Kaiserslautern2002Verlag: Deutscher UniversitätsverlagISBN: 978-3-8244-7592-6Medium: Buch54,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bloem / Arbel Hardware and Software: Verification and Testing
12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-49051-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Eveking Verifikation digitaler Systeme
Eine Einführung in den Entwurf korrekter digitaler Systeme1991Verlag: Vieweg+Teubner VerlagISBN: 978-3-519-02249-7Medium: Buch49,95 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Stephens / Rosenberg Design Driven Testing
Test Smarter, Not Harder1. Auflage 2010Verlag: ApressISBN: 978-1-4302-2943-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lahiri / Reger Runtime Verification
17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-67530-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
O'Regan Concise Guide to Software Testing
1. Auflage 2019Verlag: SpringerISBN: 978-3-030-28493-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chockler / Sharygina / Kroening Validation of Evolving Software
Softcover Nachdruck of the original 1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-38200-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Blazy / Jensen Static Analysis
22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-662-48287-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wagner / Speichert / Fedtke Penetrationstests erfolgreich umsetzen
Praxisleitfaden - Regulatorik - KI-EinflüsseErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-658-47261-0Medium: Buch49,98 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dhillon Computer System Reliability
Safety and Usability1. Auflage 2013Verlag: CRC PressISBN: 978-1-4665-7312-3Medium: Buch150,10 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Merkow Secure, Resilient, and Agile Software Development
1. Auflage 2023Verlag: Auerbach PublicationsISBN: 978-1-032-47501-1Medium: Buch61,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pargaonkar A Guide to Software Quality Engineering
1. Auflage 2024Verlag: Auerbach PublicationsISBN: 978-1-032-69301-9Medium: Buch67,70 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort