Ergebnisse filtern
Softwaretests & Prüfsoftware
-
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 -
Codescu / ?u?u / Diaconescu Recent Trends in Algebraic Development Techniques
22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-28113-1Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
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 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 -
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 -
Krieger / Fischbach Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance
17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-05358-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bultan / Bravetti Web Services and Formal Methods
7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers2011Verlag: SpringerISBN: 978-3-642-19588-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sebastiani / Cimatti Theory and Applications of Satisfiability Testing -- SAT 2012
15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings2012Verlag: SpringerISBN: 978-3-642-31611-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fähndrich / Logozzo Static Analysis
20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings2013Verlag: SpringerISBN: 978-3-642-38855-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Poess / Nambiar Performance Evaluation and Benchmarking
Transaction Processing Performance Council Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected Papers2009Verlag: SpringerISBN: 978-3-642-10423-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bensalem / Legay Runtime Verification
4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-40786-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Labiche / Barros Search-Based Software Engineering
7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-22182-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sokolsky / Hung Automated Technology for Verification and Analysis
18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19¿23, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-59151-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Finkbeiner / Zhang / Pu Automated Technology for Verification and Analysis
13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-24952-0Medium: 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 -
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 -
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 -
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 Werktage -
Seidl / Müller-Olm Static Analysis
21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-10935-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
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 International PublishingISBN: 978-3-319-70388-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
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 Werktage -
Rival / McMillan Verification, Model Checking, and Abstract Interpretation
15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings2014Verlag: SpringerISBN: 978-3-642-54012-7Medium: 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 -
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 -
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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort