Ergebnisse filtern
-
- 327
- 83
- 1
-
- 26
- 108
- 193
- 84
-
- 345
- 66
-
- 402
- 9
-
- 411
- 48
-
Gogolla / Wolff Tests and Proofs
5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21767-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Oviatt / Cohen The Paradigm Shift to Multimodality in Contemporary Computer Interfaces
Erscheinungsjahr 2015Verlag: SpringerISBN: 978-3-031-01085-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Leavens / O'Hearn / Rajamani Verified Software: Theories, Tools, Experiments
Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15056-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Singh Functional Software Size Measurement Methodology with Effort Estimation and Performance Indication
1. Auflage 2017Verlag: WileyISBN: 978-1-119-23805-8Medium: Buch124,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Deshmukh / Nickovic / Nickovic Runtime Verification
20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-60507-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Meyer / Nordio Tools for Practical Software Verification
International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures1. Auflage 2012Verlag: SpringerISBN: 978-3-642-35745-9Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bondavalli / Di Giandomenico Computer Safety, Reliability, and Security
33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-10505-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bloem / Arbel Hardware and Software: Verification and Testing
12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-49051-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lahiri / Reger Runtime Verification
17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-67530-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pasareanu Model Checking Software
16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02651-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Biere / Nahir / Vos Hardware and Software: Verification and Testing
8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected PapersErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-39610-6Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bitsch / Guiochet / Kaâniche Computer Safety, Reliability, and Security
32nd International Conference, SAFECOMP 2013, Toulouse, France, September 14-27, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40792-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Iyoda / de Moura Formal Methods: Foundations and Applications
16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-41070-3Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Blazy / Jensen Static Analysis
22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-662-48287-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Yahav Hardware and Software: Verification and Testing
10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-13337-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bertacco / Legay Hardware and Software: Verification and Testing
9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-319-03076-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Biere / Bloem Computer Aided Verification
26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-08866-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schultz / Bryant Game Testing
All in One3. Auflage 2016Verlag: De GruyterISBN: 978-1-944534-42-4Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)35,49 € (inkl. MwSt.)
sofort verfügbar -
Wotawa / Nica / Kushik Testing Software and Systems
28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-47442-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dubois / Wolff Tests and Proofs
12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-92993-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
L Bratcher Creating iOS apps with Xcode
Learn how to develop your own app (English Edition)1. Auflage 2024Verlag: De GruyterISBN: 978-93-5551-944-3Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)24,49 € (inkl. MwSt.)
sofort verfügbar -
Gaston / Kosmatov / Le Gall Testing Software and Systems
31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-31279-4Medium: Buch53,49 € (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: 6 - ePub Watermark44,99 € (inkl. MwSt.)
sofort verfügbar -
Ahmed Software Testing as a Service
1. Auflage 2009Verlag: Auerbach PublicationsISBN: 978-1-4200-9956-0Medium: Buch98,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Oliveira pytest Quick Start Guide
Write better Python code with simple and maintainable tests1. Auflage 2024Verlag: De GruyterISBN: 978-1-78934-382-3Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)23,49 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort