Ergebnisse filtern
- Fachgebiet
- Medium
-
- 311
- 91
- 1
- Erscheinungsjahr
-
- 17
- 32
- 22
- 15
- 17
- 25
- 19
- 28
- 13
- 15
- 22
- 26
- 33
- 30
- 28
- 12
- 17
- 10
- 3
- 1
- 1
- 2
- 3
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- Autoren
-
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 8
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 4
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 4
- 3
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 3
- 3
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 3
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 3
- 1
- 2
- 2
- 3
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 8
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 3
- 1
- 1
- 5
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 3
- 2
- 2
- 1
- 3
- 3
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- Verlag
-
- 1
- 22
- 2
- 13
- 5
- 3
- 1
- 11
- 71
- 4
- 11
- 12
- 2
- 1
- 1
- 1
- 3
- 5
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 95
- 5
- 2
- 53
- 1
- 2
- 3
- 4
- 2
- 2
- 6
- 2
- 7
- 3
- 12
- 18
- 1
- 1
- 3
- 1
- Preis
-
- 32
- 105
- 185
- 81
- Sprachen
-
- 338
- 65
- Verfügbarkeit
-
- 393
- 10
- Katalog
-
- 403
- 44
-
Berger Debugging Embedded and Real-Time Systems
The Art, Science, Technology, and Tools of Real-Time System DebuggingErscheinungsjahr 2020Verlag: Elsevier LTD, OxfordISBN: 978-0-12-817811-9Medium: Buch72,00 € (inkl. MwSt.)
vorbestellbar72,00 € (inkl. MwSt.)
vorbestellbar -
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 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Software Testing, Verification & Reliability
Verlag: John Wiley & SonsISSN: 10991689Medium: ZeitschriftInstitutionen - Online
1.356,76 € (inkl. MwSt.)
Institutionen - Online
1.356,76 € (inkl. MwSt.)
-
Tzoref-Brill / Strichman Hardware and Software: Verification and Testing
13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings1. Auflage 2017Verlag: Springer Nature SwitzerlandISBN: 978-3-319-70388-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Software Metrics
Research and Practice in Software Measurement1997Verlag: Deutscher UniversitätsverlagISBN: 978-3-8244-6518-7Medium: Buch49,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
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 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
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 Werktage165,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Joshi / Müller / Podelski Verified Software: Theories, Tools, Experiments
4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-27704-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nambiar / Poess Performance Evaluation and Benchmarking
Second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010. Revised Selected Papers1. Auflage. 2011Verlag: SpringerISBN: 978-3-642-18205-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
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 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Liu Software Fault Prevention, Verification, and Validation
First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2-3, 2024, ProceedingsErscheinungsjahr 2025Verlag: Springer Nature SingaporeISBN: 978-981-961620-6Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Cotroneo Innovative Technologies for Dependable OTS-Based Critical Systems
Challenges and Achievements of the CRITICAL STEP Project2013Verlag: Springer MilanISBN: 978-88-470-2771-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Moreira / Schätz / Clarke Model-Driven Engineering Languages and Systems
16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings2013Verlag: SpringerISBN: 978-3-642-41532-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Peled Software Reliability Methods
2001Verlag: SpringerISBN: 978-1-4419-2876-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
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 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
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 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
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 Werktage76,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
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 Werktage54,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
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 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Weise / Nielsen Testing Software and Systems
24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings2012Verlag: SpringerISBN: 978-3-642-34690-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Tillmann / Seidl Tests and Proofs
8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-09098-6Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Todorov Testing the Creditcoin Blockchain
A Daily Account from a Test Engineer's Perspective1. Auflage 2024Verlag: ApressISBN: 979-8-8688-0872-2Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Petrucci / Cavalcanti / Seceleanu 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: Springer International PublishingISBN: 978-3-319-67112-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Poess / Nambiar Selected Topics in Performance Evaluation and Benchmarking
4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers2013Verlag: SpringerISBN: 978-3-642-36726-7Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
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 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort