Ergebnisse filtern
-
- 275
- 63
-
- 10
- 99
- 165
- 64
-
- 282
- 56
-
- 331
- 7
-
- 1
-
- 338
- 31
-
Eveking Verifikation digitaler Systeme
Eine Einführung in den Entwurf korrekter digitaler Systeme1991Verlag: Vieweg+Teubner VerlagISBN: 978-3-519-02249-7Medium: Buch49,95 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rombach / Dumke Software-Messung und -Bewertung
Tagungsband Workshop der GI-Fachgruppe 2.1.10 10./11. September 2001 an der Universität Kaiserslautern2002Verlag: Deutscher UniversitätsverlagISBN: 978-3-8244-7592-6Medium: Buch54,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bomarius / Liggesmeyer / Rombach Supervised Testing of Embedded Concurrent Software.
Erscheinungsjahr 2021Verlag: Fraunhofer VerlagISBN: 978-3-8396-1683-3Medium: Buch61,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Xu / Xie Essential Spectrum-based Fault Localization
1. Auflage 2021Verlag: Springer Nature SingaporeISBN: 978-981-336-178-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Xu / Xie Essential Spectrum-based Fault Localization
1. Auflage 2021Verlag: Springer Nature SingaporeISBN: 978-981-336-181-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pasareanu Model Checking Software
16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-02651-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nordio / Meyer Tools for Practical Software Verification
International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures2012Verlag: SpringerISBN: 978-3-642-35745-9Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Biere / Vos / Nahir Hardware and Software: Verification and Testing
8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers2013Verlag: SpringerISBN: 978-3-642-39610-6Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
de Moura / Iyoda Formal Methods: Foundations and Applications
16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings2013Verlag: SpringerISBN: 978-3-642-41070-3Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gaur / Zwolinski / Singh VLSI Design and Test
17th International Symposium, VDAT 2013, Jaipur, India, July 27-30, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-42023-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jensen / Blazy 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 -
Di Giandomenico / Bondavalli Computer Safety, Reliability, and Security
33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-10505-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bitsch / Kaâniche / Guiochet Computer Safety, Reliability, and Security
32nd International Conference, SAFECOMP 2013, Toulouse, France, September 14-27, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-40792-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cohen / Oviatt The Paradigm Shift to Multimodality in Contemporary Computer Interfaces
1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-031-01085-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gupta Pro Apache Log4j
Softcover Nachdruck of the original 2. Auflage 2014Verlag: ApressISBN: 978-1-4302-1159-4Medium: Buch54,85 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cotroneo Innovative Technologies for Dependable OTS-Based Critical Systems
Challenges and Achievements of the CRITICAL STEP Project2013Verlag: Springer MilanISBN: 978-88-470-5557-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nickovic / Deshmukh / Nickovic Runtime Verification
20th International Conference, RV 2020, Los Angeles, CA, USA, October 6¿9, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-60507-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gaston / Le Gall / Kosmatov Testing Software and Systems
31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15¿17, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-31279-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Goossens / Vermeulen Debugging Systems-on-Chip
Communication-centric and Abstraction-based Techniques2014Verlag: Springer International PublishingISBN: 978-3-319-06241-9Medium: Buch106,99 € (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, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-13337-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Arbel / Bloem Hardware and Software: Verification and Testing
12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-49051-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wotawa / Kushik / Nica Testing Software and Systems
28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-47442-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bultan / Aydin / Alkhalaf String Analysis for Software Verification and Security
1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-68668-4Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Legay / Bertacco Hardware and Software: Verification and Testing
9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings2013Verlag: Springer International PublishingISBN: 978-3-319-03076-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bloem / Biere 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, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-08866-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort