Ergebnisse filtern
Fachgebiet
Medium
  • 37
Erscheinungsjahr
  • 1
  • 1
  • 2
  • 1
  • 3
  • 7
  • 5
  • 6
  • 4
  • 1
  • 2
  • 2
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
Verlag
  • 37
Preis
  • 6
  • 30
  • 1
Sprachen
  • 37
Verfügbarkeit
  • 37
Katalog
  • 37

Softwaretests & Prüfsoftware

37  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
    Bitsch / Guiochet / Kaâniche | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Bitsch / Guiochet / Kaâniche Computer Safety, Reliability, and Security

    32nd International Conference, SAFECOMP 2013, Toulouse, France, September 14-27, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40792-5
    Medium: Buch
    53,49 € (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
    Codescu / Diaconescu / ?u?u | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Codescu / Diaconescu / ?u?u Recent Trends in Algebraic Development Techniques

    22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-28113-1
    Medium: Buch
    42,80 € (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
    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
    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
    Giannakopoulou / Kroening | Verified Software: Theories, Tools and Experiments | Buch | Sack Fachmedien

    Giannakopoulou / Kroening Verified Software: Theories, Tools and Experiments

    6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-12153-6
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nambiar / Poess | Performance Evaluation and Benchmarking | Buch | Sack Fachmedien

    Nambiar / Poess Performance Evaluation and Benchmarking

    Transaction Processing Performance Council Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected Papers
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-10423-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barner / Harris / Kroening | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Barner / Harris / Kroening Hardware and Software: Verification and Testing

    6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19582-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meyer / Woodcock | Verified Software: Theories, Tools, Experiments | Buch | Sack Fachmedien

    Meyer / Woodcock Verified Software: Theories, Tools, Experiments

    First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-69147-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bonakdarpour / Smolka | Runtime Verification | Buch | Sack Fachmedien

    Bonakdarpour / Smolka Runtime Verification

    5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-11163-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 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
    Sen / Khurshid | Runtime Verification | Buch | Sack Fachmedien

    Sen / Khurshid Runtime Verification

    Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-29859-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beckert / Damiani / Gurov | Formal Verification of Object-Oriented Software | Buch | Sack Fachmedien

    Beckert / Damiani / Gurov Formal Verification of Object-Oriented Software

    International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31761-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shankar / Woodcock | Verified Software: Theories, Tools, Experiments | Buch | Sack Fachmedien

    Shankar / Woodcock Verified Software: Theories, Tools, Experiments

    Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-87872-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu | Software Fault Prevention, Verification, and Validation | Buch | Sack Fachmedien

    Liu Software Fault Prevention, Verification, and Validation

    First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2-3, 2024, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-961620-6
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nambiar / Poess | Performance Evaluation and Benchmarking | Buch | Sack Fachmedien

    Nambiar / Poess Performance Evaluation and Benchmarking

    Second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010. Revised Selected Papers
    1. Auflage. 2011
    Verlag: Springer
    ISBN: 978-3-642-18205-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Donaldson / Parker | Model Checking Software | Buch | Sack Fachmedien

    Donaldson / Parker Model Checking Software

    19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31758-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Enea / Piskac | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Enea / Piskac Verification, Model Checking, and Abstract Interpretation

    20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-11244-8
    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
    Cerone / Pihlajasaari | Theoretical Aspects of Computing -- ICTAC 2011 | Buch | Sack Fachmedien

    Cerone / Pihlajasaari Theoretical Aspects of Computing -- ICTAC 2011

    8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-23282-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    El-Fakih / Barlas / Yevtushenko | Testing Software and Systems | Buch | Sack Fachmedien

    El-Fakih / Barlas / Yevtushenko Testing Software and Systems

    27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-25944-4
    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
    Leavens / O'Hearn / Rajamani | Verified Software: Theories, Tools, Experiments | Buch | Sack Fachmedien

    Leavens / O'Hearn / Rajamani Verified Software: Theories, Tools, Experiments

    Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15056-2
    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