Ergebnisse filtern
-
- 327
- 84
- 1
-
- 27
- 109
- 191
- 85
-
- 344
- 68
-
- 404
- 8
-
- 412
- 47
-
Brucker / Julliand Tests and Proofs
6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-30472-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Strichman / Tzoref-Brill Hardware and Software: Verification and Testing
13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-70388-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Müller-Olm / Seidl Static Analysis
21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-10935-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nambiar / Poess Selected Topics in Performance Evaluation and Benchmarking
4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36726-7Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Goossens / Vermeulen Debugging Systems-on-Chip
Communication-centric and Abstraction-based TechniquesSoftcover Nachdruck of the original 1. Auflage 2014Verlag: Springer International PublishingISBN: 978-3-319-35692-1Medium: Buch109,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Petrucci / Seceleanu / Cavalcanti Critical Systems: Formal Methods and Automated Verification
Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-67112-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Meyer / Woodcock 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 DiscussionsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-69147-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schirner / Götz / Rettberg Embedded Systems: Design, Analysis and Verification
4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013, ProceedingsSoftcover Nachdruck of the original 1. Auflage 2013Verlag: SpringerISBN: 978-3-642-43028-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gonthier / Norrish Certified Programs and Proofs
Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-319-03544-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schirner / Götz / Rettberg Embedded Systems: Design, Analysis and Verification
4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38852-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Watkins / Mills Testing IT
2. Auflage 2011Verlag: Cambridge University PressISBN: 978-0-521-14801-6Medium: Buch100,40 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Moll / Sonnet Softwaretesting kompakt
Grundlagen von Tests und Testautomatisierung mit Java2025Verlag: SpringerISBN: 978-3-658-46104-1Medium: Buch19,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Beckert / Damiani / Gurov Formal Verification of Object-Oriented Software
International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31761-3Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Shankar / Woodcock Verified Software: Theories, Tools, Experiments
Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-87872-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wendland / Fieber Praxiswissen Testanalyse und Testentwurf
Testverfahren systematisch und zielführend anwendenErscheinungsjahr 2026Verlag: dpunkt.VerlagISBN: 978-3-98889-060-3Medium: Buch39,90 € (inkl. MwSt.)
vorbestellbar -
Crotts Learning Java
A Test-Driven Approach2024Verlag: SpringerISBN: 978-3-031-66637-7Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bierig / Brown / Galván Essentials of Software Testing
Erscheinungsjahr 2021Verlag: Cambridge University PressISBN: 978-1-108-83334-9Medium: Buch67,20 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
van Vugt Automated Testing in Microsoft Dynamics 365 Business Central
Efficiently automate test cases for faster development cycles with less time needed for manual testing2. Auflage 2021Verlag: De GruyterISBN: 978-1-80181-440-9Medium: eBookFormat: EPUB
Kopierschutz: 0 - No protection37,19 € (inkl. MwSt.)
sofort verfügbar -
Proffitt / Anami Becoming a Rockstar SRE
Electrify your site reliability engineering mindset to build reliable, resilient, and efficient systems1. Auflage 2023Verlag: De GruyterISBN: 978-1-80461-456-3Medium: eBookFormat: EPUB
Kopierschutz: 0 - No protection32,39 € (inkl. MwSt.)
sofort verfügbar -
Palani The Web Accessibility Project
Development and Testing Best Practices1. Auflage 2022Verlag: Auerbach PublicationsISBN: 978-1-032-28083-7Medium: Buch231,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Agrawal / Kumar / Tapaswi Cloud Computing Security
Strategies and Best Practices1. Auflage 2025Verlag: Chapman and Hall/CRCISBN: 978-1-032-83415-3Medium: Buch129,20 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ashok Chaubal Selenium Framework Design in Keyword-Driven Testing
Automate Your Test Using Selenium and Appium1. Auflage 2020Verlag: De GruyterISBN: 978-93-89328-21-9Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)14,49 € (inkl. MwSt.)
sofort verfügbar -
Palani Automated Software Testing with Cypress
1. Auflage 2021Verlag: Taylor & FrancisISBN: 978-0-367-75968-1Medium: BuchLieferzeit ca. 10 Werktage -
Pathania Learning Continuous Integration with Jenkins.
A beginner's guide to implementing Continuous Integration and Continuous Delivery using Jenkins 22. Auflage 2017Verlag: De GruyterISBN: 978-1-78847-519-8Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)31,99 € (inkl. MwSt.)
sofort verfügbar -
Baloch Web Hacking Arsenal
A Practical Guide to Modern Web Pentesting1. Auflage 2024Verlag: CRC PressISBN: 978-1-032-44719-3Medium: Buch55,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort