Ergebnisse filtern
Fachgebiet
Medium
  • 44
Erscheinungsjahr
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 9
  • 10
  • 7
  • 3
  • 2
  • 1
  • 1
Autoren
  • 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
  • 1
  • 1
  • 1
  • 2
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 44
Preis
  • 7
  • 36
  • 1
Sprachen
  • 44
Verfügbarkeit
  • 44
Katalog
  • 44

Softwaretests & Prüfsoftware

44  Treffer  für „Lecture Notes in Computer Science“
    Parthasarathy / Seshia | Computer Aided Verification | Buch | Sack Fachmedien

    Parthasarathy / Seshia Computer Aided Verification

    24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31423-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Biere / Bloem | Computer Aided Verification | Buch | Sack Fachmedien

    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, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08866-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bondavalli / Di Giandomenico | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Bondavalli / Di Giandomenico Computer Safety, Reliability, and Security

    33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-10505-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nambiar / Poess | Selected Topics in Performance Evaluation and Benchmarking | Buch | Sack Fachmedien

    Nambiar / Poess Selected Topics in Performance Evaluation and Benchmarking

    4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36726-7
    Medium: Buch
    49,22 € (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
    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
    Gonthier / Norrish | Certified Programs and Proofs | Buch | Sack Fachmedien

    Gonthier / Norrish Certified Programs and Proofs

    Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-03544-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fischbach / Krieger | Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance | Buch | Sack Fachmedien

    Fischbach / Krieger 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, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-05358-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beilner / Bause | Quantitative Evaluation of Computing and Communication Systems | Buch | Sack Fachmedien

    Beilner / Bause Quantitative Evaluation of Computing and Communication Systems

    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60300-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmitt | Measurement, Modeling, and Evaluation of Computing Systems and Dependability and Fault Tolerance | Buch | Sack Fachmedien

    Schmitt Measurement, Modeling, and Evaluation of Computing Systems and Dependability and Fault Tolerance

    16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-28539-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Okamura / Liu | Software Fault Prevention, Verification, and Validation | Buch | Sack Fachmedien

    Chen / Okamura / Liu Software Fault Prevention, Verification, and Validation

    Second International Symposium, SFPVV 2025, Shanghai, China, November 8-9, 2025, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-981-956031-8
    Medium: Buch
    70,61 € (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
    Pinho / González Harbour | Reliable Software Technologies -- Ada-Europe 2006 | Buch | Sack Fachmedien

    Pinho / González Harbour Reliable Software Technologies -- Ada-Europe 2006

    11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34663-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barros / Labiche | Search-Based Software Engineering | Buch | Sack Fachmedien

    Barros / Labiche Search-Based Software Engineering

    7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-22182-3
    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
    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
    Ortmeier / Rauzy | Model-Based Safety and Assessment | Buch | Sack Fachmedien

    Ortmeier / Rauzy Model-Based Safety and Assessment

    4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-12213-7
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Veanes / Vigano | Tests and Proofs | Buch | Sack Fachmedien

    Veanes / Vigano Tests and Proofs

    7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38915-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sakallah / Simon | Theory and Application of Satisfiability Testing | Buch | Sack Fachmedien

    Sakallah / Simon Theory and Application of Satisfiability Testing

    14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21580-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vos / Lakhotia / Bauersfeld | Future Internet Testing | Buch | Sack Fachmedien

    Vos / Lakhotia / Bauersfeld Future Internet Testing

    First International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-07784-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    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
    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
    Bartocci / Ramakrishnan | Model Checking Software | Buch | Sack Fachmedien

    Bartocci / Ramakrishnan Model Checking Software

    20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-39175-0
    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
    Seidl / Tillmann | Tests and Proofs | Buch | Sack Fachmedien

    Seidl / Tillmann Tests and Proofs

    8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-09098-6
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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