Ergebnisse filtern
-
- 299
- 17
-
- 2
- 78
- 170
- 66
-
- 253
- 63
-
- 301
- 15
-
- 2
-
- 316
- 29
-
Vigenschow Testen von Software und Embedded Systems
Professionelles Vorgehen mit modellbasierten und objektorientierten Ansätzen2., überarbeitete und aktualisierte Auflage 2010Verlag: Dpunkt.Verlag GmbHISBN: 978-3-89864-638-3Medium: Buch39,90 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage -
Software Metrics
1997Verlag: Deutscher UniversitätsvlgISBN: 978-3-8244-6518-7Medium: Buch49,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schmitz Schmitz, P: Software-Qualitätssicherung ¿ Testen im Software
2. Auflage 1983Verlag: Vieweg+Teubner VerlagISBN: 978-3-528-13592-8Medium: Buch54,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schmitz Schmitz, P: Software-Qualitätssicherung
1982Verlag: Vieweg+Teubner VerlagISBN: 978-3-528-03592-1Medium: Buch54,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Simon Value-Range Analysis of C Programs
Towards Proving the Absence of Buffer Overflow Vulnerabilities2008. Auflage 2008Verlag: SpringerISBN: 978-1-84800-016-2Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bisi / Goyal Artificial Neural Network Applications for Software Reliability Prediction
1. Auflage 2017Verlag: WileyISBN: 978-1-119-22354-2Medium: Buch218,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Abran Software Metrics
1. Auflage 2010Verlag: WileyISBN: 978-0-470-59720-0Medium: Buch97,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kramer / Legeard Model-Based Testing Essentials - Guide to the Istqb Certified Model-Based Tester
Foundation Level1. Auflage 2016Verlag: WileyISBN: 978-1-119-13001-7Medium: Buch76,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baumgartner / Klonk / Mastnak Agile Testing
Der agile Weg zur Qualität3. überarbeitete Auflage 2023Verlag: Carl HanserISBN: 978-3-446-48030-8Medium: eBookFormat: EPUB
Kopierschutz: Wasserzeichen (»Systemvoraussetzungen)44,99 € (inkl. MwSt.)
sofort verfügbar -
Rathgeb / Echtle / Müller-Clostermann Measurement, Modelling, and Evaluation
2010Verlag: SpringerISBN: 978-3-642-12103-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ramakrishnan / Bartocci Model Checking Software
20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-39175-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nambiar / Poess Performance Evaluation
1. Auflage. 2011Verlag: SpringerISBN: 978-3-642-18205-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Joshi / Müller / Podelski Verified Software: Theories, Tools, Experiments
2012Verlag: SpringerISBN: 978-3-642-27704-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schmidt / Mine Static Analysis
19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings2012Verlag: SpringerISBN: 978-3-642-33124-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Norrish / Gonthier Certified Programs and Proofs
Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings2013Verlag: Springer International PublishingISBN: 978-3-319-03544-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Woodcock / 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 Discussions2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-69147-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schirner / Götz / Rammig 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 -
Stanley / Laski Software Verification and Analysis
An Integrated, Hands-On ApproachSoftcover Nachdruck of hardcover 1. Auflage 2009Verlag: SpringerISBN: 978-1-84996-829-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wagner Software Product Quality Control
Softcover Nachdruck of the original 1. Auflage 2013Verlag: SpringerISBN: 978-3-642-44190-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Khurshid / Sen Runtime Verification
Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers2012Verlag: SpringerISBN: 978-3-642-29859-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Julliand / Brucker Tests and Proofs
6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings2012Verlag: SpringerISBN: 978-3-642-30472-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Parker / Donaldson Model Checking Software
19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings2012Verlag: SpringerISBN: 978-3-642-31758-3Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Beckert / Gurov / Damiani Formal Verification of Object-Oriented Software
International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers2012Verlag: SpringerISBN: 978-3-642-31761-3Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Woodcock / Shankar Verified Software: Theories, Tools, Experiments
Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-87872-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bauer / Großmann / Wendland Risk Assessment and Risk-Driven Testing
First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers2014Verlag: Springer International PublishingISBN: 978-3-319-07075-9Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort