Ergebnisse filtern
Fachgebiet
Medium
  • 34
Erscheinungsjahr
  • 1
  • 2
  • 3
  • 1
  • 4
  • 5
  • 7
  • 5
  • 4
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 34
Preis
  • 5
  • 29
Sprachen
  • 34
Verfügbarkeit
  • 34
Katalog
  • 34

Softwaretests & Prüfsoftware

34  Treffer  für „Programming and Software Engineering“
    Medina-Bulo / Merayo / Hierons | Testing Software and Systems | Buch | Sack Fachmedien

    Medina-Bulo / Merayo / Hierons Testing Software and Systems

    30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-99926-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolff / Zaidi | Testing Software and Systems | Buch | Sack Fachmedien

    Wolff / Zaidi Testing Software and Systems

    23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24579-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Merayo / Montes de Oca | Testing Software and Systems | Buch | Sack Fachmedien

    Merayo / Montes de Oca Testing Software and Systems

    26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-44856-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nielsen / Weise | Testing Software and Systems | Buch | Sack Fachmedien

    Nielsen / Weise Testing Software and Systems

    24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34690-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Biere / Nahir / Vos | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Biere / Nahir / Vos Hardware and Software: Verification and Testing

    8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39610-6
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bloem / Arbel | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Bloem / Arbel Hardware and Software: Verification and Testing

    12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-49051-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yahav | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Yahav Hardware and Software: Verification and Testing

    10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-13337-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Piterman | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Piterman Hardware and Software: Verification and Testing

    11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-26286-4
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Namjoshi / Zeller / Ziv | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Namjoshi / Zeller / Ziv Hardware and Software: Verification and Testing

    5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19236-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Strichman / Tzoref-Brill | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Strichman / Tzoref-Brill Hardware and Software: Verification and Testing

    13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-70388-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moreira / Schätz / Gray | Model-Driven Engineering Languages and Systems | Buch | Sack Fachmedien

    Moreira / Schätz / Gray Model-Driven Engineering Languages and Systems

    16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-41532-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Meyer / Nordio | Tools for Practical Software Verification | Buch | Sack Fachmedien

    Meyer / Nordio Tools for Practical Software Verification

    International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-35745-9
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cohen / Rybalchenko | Verified Software: Theorie, Tools, Experiments | Buch | Sack Fachmedien

    Cohen / Rybalchenko Verified Software: Theorie, Tools, Experiments

    5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-54107-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Joshi / Müller / Podelski | Verified Software: Theories, Tools, Experiments | Buch | Sack Fachmedien

    Joshi / Müller / Podelski Verified Software: Theories, Tools, Experiments

    4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-27704-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gogolla / Wolff | Tests and Proofs | Buch | Sack Fachmedien

    Gogolla / Wolff Tests and Proofs

    5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21767-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dubois / Wolff | Tests and Proofs | Buch | Sack Fachmedien

    Dubois / Wolff Tests and Proofs

    12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-92993-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blanchette / Kosmatov | Tests and Proofs | Buch | Sack Fachmedien

    Blanchette / Kosmatov Tests and Proofs

    9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-21214-2
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brucker / Julliand | Tests and Proofs | Buch | Sack Fachmedien

    Brucker / Julliand Tests and Proofs

    6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-30472-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hierons / Bowen / Harman | Formal Methods and Testing | Buch | Sack Fachmedien

    Hierons / Bowen / Harman Formal Methods and Testing

    An Outcome of the FORTEST Network. Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78916-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bondavalli / Ceccarelli / Ortmeier | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Bondavalli / Ceccarelli / Ortmeier Computer Safety, Reliability, and Security

    SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-10556-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rathgeb / Echtle / Müller-Clostermann | Measurement, Modelling, and Evaluation of Computing Systems and Dependability in Fault Tolerance | Buch | Sack Fachmedien

    Rathgeb / Echtle / Müller-Clostermann Measurement, Modelling, and Evaluation of Computing Systems and Dependability in Fault Tolerance

    15th International GI/ITG Conference, MMB & DFT 2010, Essen, Germany, March 15-17, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-12103-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bravetti / Bultan | Web Services and Formal Methods | Buch | Sack Fachmedien

    Bravetti / Bultan Web Services and Formal Methods

    7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19588-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Van Hung / Ogawa | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Van Hung / Ogawa Automated Technology for Verification and Analysis

    11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-02443-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bauer / Großmann / Seehusen | Risk Assessment and Risk-Driven Testing | Buch | Sack Fachmedien

    Bauer / Großmann / Seehusen Risk Assessment and Risk-Driven Testing

    First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-07075-9
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hung / Sokolsky | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Hung / Sokolsky Automated Technology for Verification and Analysis

    18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-59151-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular