Ergebnisse filtern
-
- 340
- 85
- 1
-
- 26
- 112
- 202
- 86
-
- 358
- 68
-
- 416
- 10
-
- 426
- 50
-
Ostermueller Troubleshooting Java Performance
Detecting Anti-Patterns with Open Source Tools1. Auflage 2017Verlag: ApressISBN: 978-1-4842-2978-1Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Marwedel / Falk Source Code Optimization Techniques for Data Flow Dominated Embedded Software
1. Auflage. Softcover version of original hardcover Auflage 2004Verlag: Springer USISBN: 978-1-4419-5254-7Medium: Buch165,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cerny / Dudani / Havlicek The Power of Assertions in SystemVerilog
1. Auflage 2010Verlag: Springer NetherlandsISBN: 978-1-4419-6599-8Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sen / Khurshid Runtime Verification
Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-29859-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Vermeulen / Goossens Debugging Systems-on-Chip
Communication-centric and Abstraction-based TechniquesSoftcover Nachdruck of the original 1. Auflage 2014Verlag: SpringerISBN: 978-3-319-35692-1Medium: Buch109,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Donaldson / Parker Model Checking Software
19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31758-3Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bartocci / Ramakrishnan Model Checking Software
20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-39175-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mine / Schmidt Static Analysis
19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-33124-4Medium: 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 -
Software Metrics
Research and Practice in Software Measurement1997Verlag: Deutscher UniversitätsverlagISBN: 978-3-8244-6518-7Medium: Buch49,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Namjoshi / Zeller / Ziv Hardware and Software: Verification and Testing
5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers1. Auflage 2011Verlag: SpringerISBN: 978-3-642-19236-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Seidl / Tillmann Tests and Proofs
8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-09098-6Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
McMillan / Rival Verification, Model Checking, and Abstract Interpretation
15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-54012-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bauer / Großmann / Seehusen Risk Assessment and Risk-Driven Testing
First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-07075-9Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schmitz Software-Qualitätssicherung
Testen im Software-Lebenszyklus1982Verlag: Vieweg+Teubner VerlagISBN: 978-3-528-03592-1Medium: Buch54,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tang Practical Front-End Testing
Strategies and Best Practices for Developers1. Auflage 2025Verlag: ApressISBN: 979-8-8688-1450-1Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cocchiaro Selenium Framework Design in Data-Driven Testing
Build data-driven test frameworks using Selenium WebDriver, AppiumDriver, Java, and TestNG1. Auflage 2024Verlag: De GruyterISBN: 978-1-78847-173-2Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)39,49 € (inkl. MwSt.)
sofort verfügbar -
Adewole C# and .NET Core Test-Driven Development
Dive into TDD to create flexible, maintainable, and production-ready .NET Core applications1. Auflage 2024Verlag: De GruyterISBN: 978-1-78829-992-3Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)28,49 € (inkl. MwSt.)
sofort verfügbar -
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 -
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 -
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 -
Moreira / Schätz / Gray Model-Driven Engineering Languages and Systems
16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-41532-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage -
Nielsen / Weise Testing Software and Systems
24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34690-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schmitz Software-Qualitätssicherung - Testen im Software-Lebenszyklus
2. Auflage 1983Verlag: Vieweg+Teubner VerlagISBN: 978-3-528-13592-8Medium: Buch54,99 € (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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort