Ergebnisse filtern
-
- 324
- 83
- 1
-
- 26
- 107
- 191
- 84
-
- 342
- 66
-
- 402
- 6
-
- 3
-
- 408
- 46
-
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 -
Iqbal / Masoodi / Ahmad Malik System Reliability and Security
Techniques and Methodologies1. Auflage 2023Verlag: Auerbach PublicationsISBN: 978-1-032-38692-8Medium: Buch231,90 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kleuker Formale Modelle der Softwareentwicklung
Model-Checking, Verifikation, Analyse und Simulation1. Auflage 2009Verlag: Vieweg+Teubner VerlagISBN: 978-3-8348-0669-7Medium: Buch37,99 € (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 -
Kullmann Theory and Applications of Satisfiability Testing - SAT 2009
12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02776-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Medina-Bulo / Merayo / Hierons Testing Software and Systems
30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-99926-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Eder / Louren?o / Shehory Hardware and Software: Verification and Testing
7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34187-8Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Merayo / Montes de Oca Testing Software and Systems
26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-44856-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bondavalli / Ceccarelli / Ortmeier Computer Safety, Reliability, and Security
SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-10556-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ortmeier / Rauzy Model-Based Safety and Assessment
4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-12213-7Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Piterman Hardware and Software: Verification and Testing
11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-26286-4Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Blanchette / Kosmatov Tests and Proofs
9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings2015Verlag: SpringerISBN: 978-3-319-21214-2Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Van Hung / Ogawa Automated Technology for Verification and Analysis
11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-319-02443-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
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 -
Wolff / Zaidi Testing Software and Systems
23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24579-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Yenigün / Yilmaz / Ulrich Testing Software and Systems
25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-41706-1Medium: Buch53,49 € (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 -
Petrinja / Succi / El Ioini Open Source Software: Quality Verification
9th IFIP WG 2.13 International Conference, OSS 2013, Koper-Capodistria, Slovenia, June 25-28, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38927-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Raghavendra Python Testing with Selenium
Learn to Implement Different Testing Techniques Using the Selenium WebDriver1. Auflage 2020Verlag: ApressISBN: 978-1-4842-6248-1Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bartocci / Majumdar Runtime Verification
6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-23819-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Vos / Lakhotia / Bauersfeld Future Internet Testing
First International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-07784-0Medium: Buch53,49 € (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-84009-3Medium: Buch108,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Yaworski Hacking und Bug Hunting
Wie man Softwarefehler aufspürt und damit Geld verdient – ein Blick über die Schulter eines erfolgreichen Bug Hunters1. Auflage 2020Verlag: dpunkt.verlagISBN: 978-3-96088-969-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark32,90 € (inkl. MwSt.)
sofort verfügbar -
Palani Automated Software Testing with Cypress
1. Auflage 2021Verlag: Auerbach PublicationsISBN: 978-0-367-69954-3Medium: Buch59,70 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sharma / Garg Digital Twins and Simulation Technology
Concepts and Applications1. Auflage 2025Verlag: Chapman and Hall/CRCISBN: 978-1-032-94939-0Medium: Buch207,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort