Ergebnisse filtern
Fachgebiet
Medium
  • 299
  • 90
  • 1
Erscheinungsjahr
  • 1
  • 4
  • 32
  • 22
  • 15
  • 17
  • 25
  • 19
  • 28
  • 15
  • 17
  • 22
  • 26
  • 30
  • 31
  • 28
  • 9
  • 18
  • 9
  • 3
  • 1
  • 1
  • 2
  • 3
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
Autoren
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 8
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 8
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 5
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 3
  • 3
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
Verlag
  • 1
  • 21
  • 2
  • 10
  • 4
  • 3
  • 13
  • 72
  • 4
  • 11
  • 14
  • 1
  • 2
  • 1
  • 3
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 93
  • 5
  • 2
  • 53
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 1
  • 12
  • 18
  • 1
  • 1
  • 2
  • 1
Preis
  • 31
  • 103
  • 181
  • 75
Sprachen
  • 329
  • 61
Verfügbarkeit
  • 383
  • 7
Katalog
  • 390
  • 41

Softwaretests & Prüfsoftware

390  Titel
    Pedapudi | Test-Driven Development with ABAP Objects | Buch | Sack Fachmedien

    Pedapudi Test-Driven Development with ABAP Objects

    Erscheinungsjahr 2009
    Verlag: Rheinwerk Verlag
    ISBN: 978-1-59229-248-6
    Medium: Buch
    69,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baumgartner / Gwihs / Seidl | Basiswissen Testautomatisierung | Buch | Sack Fachmedien

    Baumgartner / Gwihs / Seidl Basiswissen Testautomatisierung

    Aus- und Weiterbildung zum ISTQB® Advanced Level Specialist - Certified Test Automation Engineer
    3. aktualisierte und überarbeitete Auflage 2021
    Verlag: Dpunkt.Verlag GmbH
    ISBN: 978-3-86490-675-6
    Medium: Buch
    39,90 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Fidanboy | Strategic Software Quality Management | Buch | Sack Fachmedien

    Fidanboy Strategic Software Quality Management

    How to Incorporate Sustainable Continuous Improvement Practices
    1. Auflage 2025
    Verlag: Taylor & Francis Ltd
    ISBN: 978-1-032-79362-7
    Medium: Buch
    154,50 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb
    Helfen / Trauthwein | Testing SAP Solutions | Buch | Sack Fachmedien

    Helfen / Trauthwein Testing SAP Solutions

    Enlarged
    Verlag: SAP PR
    ISBN: 978-1-59229-366-7
    Medium: Buch
    76,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Soni | Hands-on Azure DevOps | eBook | Sack Fachmedien
    E-Book

    Soni Hands-on Azure DevOps

    CICD Implementation for Mobile, Hybrid, and Web Applications Using Azure DevOps and Microsoft Azure
    1. Auflage 2020
    Verlag: De Gruyter
    ISBN: 978-93-89845-35-8
    Medium: eBook
    Format: EPUB
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    14,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Dekkers / Bundschuh | The IT Measurement Compendium | Buch | Sack Fachmedien

    Dekkers / Bundschuh The IT Measurement Compendium

    Estimating and Benchmarking Success with Functional Size Measurement
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-68187-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sherer | Software Failure Risk | Buch | Sack Fachmedien

    Sherer Software Failure Risk

    Measurement and Management
    1992
    Verlag: Springer US
    ISBN: 978-1-4613-6316-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vivenzio | Testmanagement bei SAP-Projekten | Buch | Sack Fachmedien

    Vivenzio Testmanagement bei SAP-Projekten

    Erfolgreich Planen . Steuern . Reporten bei der Einführung von SAP-Banking
    1. Auflage 2012
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-8348-1623-8
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Mishra / Linh / Bhardwaj | Multi-Criteria Decision Models in Software Reliability | Buch | Sack Fachmedien

    Mishra / Linh / Bhardwaj Multi-Criteria Decision Models in Software Reliability

    Methods and Applications
    1. Auflage 2022
    Verlag: Taylor & Francis Ltd (Sales)
    ISBN: 978-0-367-40882-4
    Medium: Buch
    171,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sneed / Baumgartner / Seidl | Der Systemtest | Buch | Sack Fachmedien

    Sneed / Baumgartner / Seidl Der Systemtest

    Von den Anforderungen zum Qualitätsnachweis
    3. aktualisierte und erweiterte Auflage 2011
    Verlag: Hanser Fachbuchverlag
    ISBN: 978-3-446-42692-4
    Medium: Buch
    39,90 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Heusser / Kulkarni | How to Reduce the Cost of Software Testing | Buch | Sack Fachmedien

    Heusser / Kulkarni How to Reduce the Cost of Software Testing

    1. Auflage 2011
    Verlag: CRC Press
    ISBN: 978-1-4398-6155-4
    Medium: Buch
    91,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schotanus | TestFrame | Buch | Sack Fachmedien

    Schotanus TestFrame

    An Approach to Structured Testing
    2009
    Verlag: Springer
    ISBN: 978-3-642-00821-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ross | Funktionale Sicherheit im Automobil | Buch | Sack Fachmedien

    Ross Funktionale Sicherheit im Automobil

    Die Herausforderung für Elektromobilität und automatisiertes Fahren
    2. vollständig überarbeitete Auflage 2019
    Verlag: Hanser Fachbuchverlag
    ISBN: 978-3-446-45841-3
    Medium: Buch
    99,99 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Fidanboy | Strategic Software Quality Management | Buch | Sack Fachmedien

    Fidanboy Strategic Software Quality Management

    How to Incorporate Sustainable Continuous Improvement Practices
    1. Auflage 2025
    Verlag: Taylor & Francis Ltd
    ISBN: 978-1-032-79361-0
    Medium: Buch
    70,00 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb
    Grover / Dhanaraj / Balusamy | Intelligent Computing and Optimization for Sustainable Development | Buch | Sack Fachmedien

    Grover / Dhanaraj / Balusamy Intelligent Computing and Optimization for Sustainable Development

    1. Auflage 2024
    Verlag: CRC Press
    ISBN: 978-1-032-62456-3
    Medium: Buch
    196,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dekkers / Bundschuh | The IT Measurement Compendium | Buch | Sack Fachmedien

    Dekkers / Bundschuh The IT Measurement Compendium

    Estimating and Benchmarking Success with Functional Size Measurement
    Softcover Nachdruck of hardcover 1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-642-08786-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Linz | Testen in agilen Projekten | Buch | Sack Fachmedien

    Linz Testen in agilen Projekten

    Methoden und Techniken für Softwarequalität in der agilen Welt - Aus- und Weiterbildung zum ISTQB® Certified Tester: Agile Tester, Agile Technical Tester, Agile Test Leadership at Scale
    3. aktualisierte und überarbeitete Auflage 2023
    Verlag: Dpunkt.Verlag GmbH
    ISBN: 978-3-86490-961-0
    Medium: Buch
    39,90 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Majchrzak | Improving Software Testing | Buch | Sack Fachmedien

    Majchrzak Improving Software Testing

    Technical and Organizational Developments
    2012
    Verlag: Springer
    ISBN: 978-3-642-27463-3
    Medium: Buch
    53,45 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schotanus | TestFrame | Buch | Sack Fachmedien

    Schotanus TestFrame

    An Approach to Structured Testing
    Softcover Nachdruck of hardcover 1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-10158-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Romano | Learning Python | eBook | Sack Fachmedien
    E-Book

    Romano Learning Python

    Learn to code like a professional with Python - an open source, versatile, and powerful programming language
    1. Auflage 2015
    Verlag: De Gruyter
    ISBN: 978-1-78528-457-1
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    39,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Nayyar | Instant Approach to Software Testing | eBook | Sack Fachmedien
    E-Book

    Nayyar Instant Approach to Software Testing

    Principles, Applications, Techniques, and Practices
    1. Auflage 2019
    Verlag: De Gruyter
    ISBN: 978-93-88511-78-0
    Medium: eBook
    Format: EPUB
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    15,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Kumar Rath | Concepts and Practices of DevSecOps | eBook | Sack Fachmedien
    E-Book

    Kumar Rath Concepts and Practices of DevSecOps

    Crack the DevSecOps interviews (English Edition)
    1. Auflage 2024
    Verlag: De Gruyter
    ISBN: 978-93-5551-892-7
    Medium: eBook
    Format: EPUB
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    18,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Vivenzio | Testautomation mit SAP® | Buch | Sack Fachmedien

    Vivenzio Testautomation mit SAP®

    SAP Banking erfolgreich einführen
    1. Auflage 2009
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-8348-0803-5
    Medium: Buch
    19,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Soni | Agile, DevOps and Cloud Computing with Microsoft Azure | eBook | Sack Fachmedien
    E-Book

    Soni Agile, DevOps and Cloud Computing with Microsoft Azure

    Hands-On DevOps practices implementation using Azure DevOps
    1. Auflage 2019
    Verlag: De Gruyter
    ISBN: 978-93-88511-90-2
    Medium: eBook
    Format: EPUB
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    8,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Winkler / Bergsmann / Biffl | Software Quality. Increasing Value in Software and Systems Development | Buch | Sack Fachmedien

    Winkler / Bergsmann / Biffl Software Quality. Increasing Value in Software and Systems Development

    5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-35701-5
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Asher | Mastering the Complex World of Software Management | Buch | Sack Fachmedien

    Asher Mastering the Complex World of Software Management

    Increasing Impact and Improving Performance for Software Managers
    1. Auflage 2024
    Verlag: Apress
    ISBN: 979-8-8688-0840-1
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Biffl / Bergsmann / Winkler | Software Quality | Buch | Sack Fachmedien

    Biffl / Bergsmann / Winkler Software Quality

    4th International Conference, SWQD 2012, Vienna, Austria, January 17-19, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-27212-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pilorget | Testen von Informationssystemen | Buch | Sack Fachmedien

    Pilorget Testen von Informationssystemen

    Integriertes und prozessorientiertes Testen
    2012
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-8348-1866-9
    Medium: Buch
    44,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lewis | Software Testing and Continuous Quality Improvement | Buch | Sack Fachmedien

    Lewis Software Testing and Continuous Quality Improvement

    3rd Auflage
    Verlag: CRC Press
    ISBN: 978-1-4200-8073-5
    Medium: Buch
    153,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    IFPUG | The Ifpug Guide to It and Software Measurement | Buch | Sack Fachmedien

    IFPUG The Ifpug Guide to It and Software Measurement

    1. Auflage 2012
    Verlag: CRC Press
    ISBN: 978-1-4398-6930-7
    Medium: Buch
    160,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ransome / Schoenfield | Building in Security at Agile Speed | Buch | Sack Fachmedien

    Ransome / Schoenfield Building in Security at Agile Speed

    1. Auflage 2023
    Verlag: Auerbach Publications
    ISBN: 978-1-032-01005-2
    Medium: Buch
    71,70 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Soni | Agile, DevOps and Cloud Computing with Microsoft Azure | eBook | Sack Fachmedien
    E-Book

    Soni Agile, DevOps and Cloud Computing with Microsoft Azure

    Hands-On DevOps practices implementation using Azure DevOps
    1. Auflage 2019
    Verlag: De Gruyter
    ISBN: 978-93-89423-90-7
    Medium: eBook
    Format: EPUB
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    14,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Hoffmann | Software-Qualität | Buch | Sack Fachmedien

    Hoffmann Software-Qualität

    2., aktualisierte und korrigierte Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-35699-5
    Medium: Buch
    54,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Witte | Metriken für das Testreporting | Buch | Sack Fachmedien

    Witte Metriken für das Testreporting

    Analyse und Reporting für wirkungsvolles Testmanagement
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-658-19844-2
    Medium: Buch
    69,99 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Allissat / Hortig | SAP-Testmanagement | Buch | Sack Fachmedien

    Allissat / Hortig SAP-Testmanagement

    Planung, Durchführung, Auswertung - Clevere Teststrategien mit der Test Suite von SAP
    1. Auflage 2022
    Verlag: Rheinwerk Verlag GmbH
    ISBN: 978-3-8362-8790-6
    Medium: Buch
    89,90 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Ross | Funktionale Sicherheit im Automobil | eBook | Sack Fachmedien
    E-Book

    Ross Funktionale Sicherheit im Automobil

    Die Herausforderung für Elektromobilität und automatisiertes Fahren
    2. vollständig überarbeitete Auflage 2019
    Verlag: Carl Hanser
    ISBN: 978-3-446-45842-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    99,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Leps | Hybride Testumgebungen für Kritische Infrastrukturen | Buch | Sack Fachmedien

    Leps Hybride Testumgebungen für Kritische Infrastrukturen

    Effiziente Implementierung für IT-Sicherheitsanalysen von KRITIS-Betreibern
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-658-22613-8
    Medium: Buch
    32,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kundu | Modern Software Engineering Guidebook | eBook | Sack Fachmedien
    E-Book

    Kundu Modern Software Engineering Guidebook

    Practical solutions to efficient and economical software management (English Edition)
    1. Auflage 2024
    Verlag: De Gruyter
    ISBN: 978-93-5551-729-6
    Medium: eBook
    Format: EPUB
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    16,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Mohapatra / Kumar Rath | Fundamentals of Software Engineering | eBook | Sack Fachmedien
    E-Book

    Mohapatra / Kumar Rath Fundamentals of Software Engineering

    Designed to provide an insight into the software engineering concepts
    1. Auflage 2020
    Verlag: De Gruyter
    ISBN: 978-93-88176-77-4
    Medium: eBook
    Format: EPUB
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    14,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    SOGETI / Sogeti Deutschland GmbH | TPI NEXT® - Geschäftsbasierte Verbesserung des Testprozesses | Buch | Sack Fachmedien

    SOGETI / Sogeti Deutschland GmbH TPI NEXT® - Geschäftsbasierte Verbesserung des Testprozesses

    Geschäftsbasierte Verbesserung des Testprozesses
    1. Auflage 2011
    Verlag: Dpunkt.Verlag GmbH
    ISBN: 978-3-89864-685-7
    Medium: Buch
    39,90 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Lewis | Software Testing and Continuous Quality Improvement, Third Edition | eBook | Sack Fachmedien
    E-Book

    Lewis Software Testing and Continuous Quality Improvement, Third Edition

    3. Auflage 2017
    Verlag: Taylor & Francis
    ISBN: 978-1-4398-3436-7
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    171,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Li | Jira Software Essentials | eBook | Sack Fachmedien
    E-Book

    Li Jira Software Essentials

    Plan, track, and release great applications with Jira Software
    2. Auflage 2018
    Verlag: De Gruyter
    ISBN: 978-1-78883-608-1
    Medium: eBook
    Format: EPUB
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    27,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Hellebrand | Selbsttestbare Steuerwerke | Buch | Sack Fachmedien

    Hellebrand Selbsttestbare Steuerwerke

    Strukturen und Syntheseverfahren
    Erscheinungsjahr 1999
    Verlag: Kovac
    ISBN: 978-3-86064-833-9
    Medium: Buch
    73,20 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Witte | Testmanagement und Softwaretest | Buch | Sack Fachmedien

    Witte Testmanagement und Softwaretest

    Theoretische Grundlagen und praktische Umsetzung
    2., erweiterte Auflage 2019
    Verlag: Springer
    ISBN: 978-3-658-25086-7
    Medium: Buch
    59,99 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Iqbal / Masoodi / Ahmad Malik | System Reliability and Security | Buch | Sack Fachmedien

    Iqbal / Masoodi / Ahmad Malik System Reliability and Security

    Techniques and Methodologies
    1. Auflage 2023
    Verlag: Auerbach Publications
    ISBN: 978-1-032-38691-1
    Medium: Buch
    97,70 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cotroneo | Innovative Technologies for Dependable OTS-Based Critical Systems | Buch | Sack Fachmedien

    Cotroneo Innovative Technologies for Dependable OTS-Based Critical Systems

    Challenges and Achievements of the CRITICAL STEP Project
    2013
    Verlag: Springer Milan
    ISBN: 978-88-470-2771-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Heusser / Larsen | Software Testing Strategies | eBook | Sack Fachmedien
    E-Book

    Heusser / Larsen Software Testing Strategies

    A testing guide for the 2020s
    1. Auflage 2023
    Verlag: De Gruyter
    ISBN: 978-1-83763-785-0
    Medium: eBook
    Format: EPUB
     Kopierschutz: 0 - No protection
    29,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Oliveira | pytest Quick Start Guide | eBook | Sack Fachmedien
    E-Book

    Oliveira pytest Quick Start Guide

    Write better Python code with simple and maintainable tests
    1. Auflage 2018
    Verlag: De Gruyter
    ISBN: 978-1-78934-382-3
    Medium: eBook
    Format: EPUB
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    24,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Kondratiuk | UI Testing with Puppeteer | eBook | Sack Fachmedien
    E-Book

    Kondratiuk UI Testing with Puppeteer

    Implement end-to-end testing and browser automation using JavaScript and Node.js
    1. Auflage 2021
    Verlag: De Gruyter
    ISBN: 978-1-80020-376-1
    Medium: eBook
    Format: EPUB
     Kopierschutz: 0 - No protection
    27,59 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Software Testing, Verification & Reliability | Zeitschrift | Sack Fachmedien

    Software Testing, Verification & Reliability

    Verlag: John Wiley & Sons
    ISSN: 10991689
    Medium: Zeitschrift
    Institutionen - Online
    1.356,76 € (inkl. MwSt.)
    Bereits im Warenkorb
    Watkins / Mills | Testing IT | Buch | Sack Fachmedien

    Watkins / Mills Testing IT

    2. Auflage 2011
    Verlag: Cambridge University Press
    ISBN: 978-0-521-14801-6
    Medium: Buch
    99,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Daigl / Rohner | Keyword-Driven Testing | Buch | Sack Fachmedien

    Daigl / Rohner Keyword-Driven Testing

    Grundlage für effiziente Testspezifikation und Automatisierung
    1. Auflage 2022
    Verlag: Dpunkt.Verlag GmbH
    ISBN: 978-3-86490-570-4
    Medium: Buch
    34,90 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Pargaonkar | A Guide to Software Quality Engineering | Buch | Sack Fachmedien

    Pargaonkar A Guide to Software Quality Engineering

    1. Auflage 2024
    Verlag: CRC Press
    ISBN: 978-1-032-69441-2
    Medium: Buch
    163,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kumar Rakshit | Ethical Hacker’s Penetration Testing Guide | eBook | Sack Fachmedien
    E-Book

    Kumar Rakshit Ethical Hacker’s Penetration Testing Guide

    Vulnerability Assessment and Attack Simulation on Web, Mobile, Network Services and Wireless Networks (English Edition)
    1. Auflage 2022
    Verlag: De Gruyter
    ISBN: 978-93-5551-220-8
    Medium: eBook
    Format: EPUB
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    24,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Hatvani / Tahvili | Artificial Intelligence Methods for Optimization of the Software Testing Process | Buch | Sack Fachmedien

    Hatvani / Tahvili Artificial Intelligence Methods for Optimization of the Software Testing Process

    With Practical Examples and Exercises
    Erscheinungsjahr 2022
    Verlag: Elsevier Science & Technology
    ISBN: 978-0-323-91913-5
    Medium: Buch
    147,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kramer / Legeard | Model-Based Testing Essentials - Guide to the Istqb Certified Model-Based Tester | Buch | Sack Fachmedien

    Kramer / Legeard Model-Based Testing Essentials - Guide to the Istqb Certified Model-Based Tester

    Foundation Level
    1. Auflage 2016
    Verlag: Wiley
    ISBN: 978-1-119-13001-7
    Medium: Buch
    76,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Homès | Fundamentals of Software Testing | Buch | Sack Fachmedien

    Homès Fundamentals of Software Testing

    2. Auflage, Revised and Updated Auflage 2024
    Verlag: Wiley
    ISBN: 978-1-78630-982-2
    Medium: Buch
    170,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berger | Debugging Embedded and Real-Time Systems | Buch | Sack Fachmedien

    Berger Debugging Embedded and Real-Time Systems

    The Art, Science, Technology, and Tools of Real-Time System Debugging
    Erscheinungsjahr 2020
    Verlag: Elsevier LTD, Oxford
    ISBN: 978-0-12-817811-9
    Medium: Buch
    72,00 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb
    Ferrera | How to Test a Time Machine. | eBook | Sack Fachmedien
    E-Book

    Ferrera How to Test a Time Machine.

    A practical guide to test architecture and automation
    1. Auflage 2023
    Verlag: De Gruyter
    ISBN: 978-1-80181-842-1
    Medium: eBook
    Format: EPUB
     Kopierschutz: 0 - No protection
    28,79 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Diver / Bushey | Learn Azure Sentinel | eBook | Sack Fachmedien
    E-Book

    Diver / Bushey Learn Azure Sentinel

    Integrate Azure security with artificial intelligence to build secure cloud systems
    1. Auflage 2020
    Verlag: De Gruyter
    ISBN: 978-1-83921-663-3
    Medium: eBook
    Format: EPUB
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    23,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Wagner | Software Product Quality Control | Buch | Sack Fachmedien

    Wagner Software Product Quality Control

    Softcover Nachdruck of the original 1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-44190-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Crotts | Learning Java | Buch | Sack Fachmedien

    Crotts Learning Java

    A Test-Driven Approach
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-66637-7
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Merz / Droste | Testmanagement in der Praxis | Buch | Sack Fachmedien

    Merz / Droste Testmanagement in der Praxis

    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-662-49652-7
    Medium: Buch
    59,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reddy Yeruva / Basavegowda Ramu | End-to-End Observability with Grafana | eBook | Sack Fachmedien
    E-Book

    Reddy Yeruva / Basavegowda Ramu End-to-End Observability with Grafana

    A comprehensive guide to observability and performance visualization with Grafana (English Edition)
    1. Auflage 2023
    Verlag: De Gruyter
    ISBN: 978-93-5551-544-5
    Medium: eBook
    Format: EPUB
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    18,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Sharma / Gulati | Java Unit Testing with JUnit 5 | Buch | Sack Fachmedien

    Sharma / Gulati Java Unit Testing with JUnit 5

    Test Driven Development with JUnit 5
    1. Auflage 2017
    Verlag: Apress
    ISBN: 978-1-4842-3014-5
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ostermueller | Troubleshooting Java Performance | Buch | Sack Fachmedien

    Ostermueller Troubleshooting Java Performance

    Detecting Anti-Patterns with Open Source Tools
    1. Auflage 2017
    Verlag: Apress
    ISBN: 978-1-4842-2978-1
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tsadok | Pro iOS Testing | Buch | Sack Fachmedien

    Tsadok Pro iOS Testing

    XCTest Framework for UI and Unit Testing
    1. Auflage 2020
    Verlag: Apress
    ISBN: 978-1-4842-6381-5
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Simon | Value-Range Analysis of C Programs | Buch | Sack Fachmedien

    Simon Value-Range Analysis of C Programs

    Towards Proving the Absence of Buffer Overflow Vulnerabilities
    2008. Auflage 2008
    Verlag: Springer
    ISBN: 978-1-84800-016-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stanley / Laski | Software Verification and Analysis | Buch | Sack Fachmedien

    Stanley / Laski Software Verification and Analysis

    An Integrated, Hands-On Approach
    Softcover Nachdruck of hardcover 1. Auflage 2009
    Verlag: Springer
    ISBN: 978-1-84996-829-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Adewole | C# and .NET Core Test-Driven Development | eBook | Sack Fachmedien
    E-Book

    Adewole C# and .NET Core Test-Driven Development

    Dive into TDD to create flexible, maintainable, and production-ready .NET Core applications
    1. Auflage 2018
    Verlag: De Gruyter
    ISBN: 978-1-78829-992-3
    Medium: eBook
    Format: EPUB
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    29,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Software Metrics | Buch | Sack Fachmedien

    Software Metrics

    Research and Practice in Software Measurement
    1997
    Verlag: Deutscher Universitätsverlag
    ISBN: 978-3-8244-6518-7
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peled | Software Reliability Methods | Buch | Sack Fachmedien

    Peled Software Reliability Methods

    2001
    Verlag: Springer
    ISBN: 978-1-4419-2876-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zander / Schieferdecker / Mosterman | Model-Based Testing for Embedded Systems | eBook | Sack Fachmedien
    E-Book

    Zander / Schieferdecker / Mosterman Model-Based Testing for Embedded Systems

    1. Auflage 2017
    Verlag: CRC Press
    ISBN: 978-1-4398-1847-3
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    105,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Marwedel / Falk | Source Code Optimization Techniques for Data Flow Dominated Embedded Software | Buch | Sack Fachmedien

    Marwedel / Falk Source Code Optimization Techniques for Data Flow Dominated Embedded Software

    1. Auflage. Softcover version of original hardcover Auflage 2004
    Verlag: Springer US
    ISBN: 978-1-4419-5254-7
    Medium: Buch
    165,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hattori | DevOps Unleashed with Git and GitHub | eBook | Sack Fachmedien
    E-Book

    Hattori DevOps Unleashed with Git and GitHub

    Automate, collaborate, and innovate to enhance your DevOps workflow and development experience
    1. Auflage 2024
    Verlag: De Gruyter
    ISBN: 978-1-83546-868-5
    Medium: eBook
    Format: EPUB
     Kopierschutz: 0 - No protection
    32,39 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Goossens / Vermeulen | Debugging Systems-on-Chip | Buch | Sack Fachmedien

    Goossens / Vermeulen Debugging Systems-on-Chip

    Communication-centric and Abstraction-based Techniques
    Softcover Nachdruck of the original 1. Auflage 2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-35692-1
    Medium: Buch
    109,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolter / van Moorsel / Avritzer | Resilience Assessment and Evaluation of Computing Systems | Buch | Sack Fachmedien

    Wolter / van Moorsel / Avritzer Resilience Assessment and Evaluation of Computing Systems

    2012
    Verlag: Springer
    ISBN: 978-3-642-43674-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Petrinja / Sillitti / Succi | Open Source Software: Quality Verification | Buch | Sack Fachmedien

    Petrinja / Sillitti / Succi Open Source Software: Quality Verification

    9th IFIP WG 2.13 International Conference, OSS 2013, Koper-Capodistria, Slovenia, June 25-28, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-42743-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schirner / Götz / Rammig | Embedded Systems: Design, Analysis and Verification | Buch | Sack Fachmedien

    Schirner / Götz / Rammig Embedded Systems: Design, Analysis and Verification

    4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-38852-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schirner / Götz / Rammig | Embedded Systems: Design, Analysis and Verification | Buch | Sack Fachmedien

    Schirner / Götz / Rammig Embedded Systems: Design, Analysis and Verification

    4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013, Proceedings
    Softcover Nachdruck of the original 1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-43028-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baumgartner / Klonk / Mastnak | Agile Testing | eBook | Sack Fachmedien
    E-Book

    Baumgartner / Klonk / Mastnak Agile Testing

    Der agile Weg zur Qualität
    3. überarbeitete Auflage 2023
    Verlag: Carl Hanser
    ISBN: 978-3-446-48030-8
    Medium: eBook
    Format: EPUB
     Kopierschutz: 6 - ePub Watermark
    44,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bisi / Goyal | Artificial Neural Network Applications for Software Reliability Prediction | Buch | Sack Fachmedien

    Bisi / Goyal Artificial Neural Network Applications for Software Reliability Prediction

    1. Auflage 2017
    Verlag: Wiley
    ISBN: 978-1-119-22354-2
    Medium: Buch
    202,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cocchiaro | Selenium Framework Design in Data-Driven Testing | eBook | Sack Fachmedien
    E-Book

    Cocchiaro Selenium Framework Design in Data-Driven Testing

    Build data-driven test frameworks using Selenium WebDriver, AppiumDriver, Java, and TestNG
    1. Auflage 2018
    Verlag: De Gruyter
    ISBN: 978-1-78847-173-2
    Medium: eBook
    Format: EPUB
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    41,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Simion | Test-Driven Development in Go | eBook | Sack Fachmedien
    E-Book

    Simion Test-Driven Development in Go

    A practical guide to writing idiomatic and efficient Go tests through real-world examples
    1. Auflage 2023
    Verlag: De Gruyter
    ISBN: 978-1-80323-502-8
    Medium: eBook
    Format: EPUB
     Kopierschutz: 0 - No protection
    28,79 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Norrish / Gonthier | Certified Programs and Proofs | Buch | Sack Fachmedien

    Norrish / Gonthier Certified Programs and Proofs

    Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings
    2013
    Verlag: Springer International Publishing
    ISBN: 978-3-319-03544-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bauer / Großmann / Wendland | Risk Assessment and Risk-Driven Testing | Buch | Sack Fachmedien

    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 Papers
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-07075-9
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Khurshid / Sen | Runtime Verification | Buch | Sack Fachmedien

    Khurshid / Sen Runtime Verification

    Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers
    2012
    Verlag: Springer
    ISBN: 978-3-642-29859-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Julliand / Brucker | Tests and Proofs | Buch | Sack Fachmedien

    Julliand / Brucker Tests and Proofs

    6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-30472-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ramakrishnan / Bartocci | Model Checking Software | Buch | Sack Fachmedien

    Ramakrishnan / Bartocci Model Checking Software

    20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-39175-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Poess / Nambiar | Selected Topics in Performance Evaluation and Benchmarking | Buch | Sack Fachmedien

    Poess / Nambiar Selected Topics in Performance Evaluation and Benchmarking

    4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers
    2013
    Verlag: Springer
    ISBN: 978-3-642-36726-7
    Medium: Buch
    49,22 € (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
    Schmidt / Mine | Static Analysis | Buch | Sack Fachmedien

    Schmidt / Mine Static Analysis

    19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-33124-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beckert / Gurov / Damiani | Formal Verification of Object-Oriented Software | Buch | Sack Fachmedien

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

    International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
    2012
    Verlag: Springer
    ISBN: 978-3-642-31761-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Parker / Donaldson | Model Checking Software | Buch | Sack Fachmedien

    Parker / Donaldson Model Checking Software

    19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-31758-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moreira / Schätz / Clarke | Model-Driven Engineering Languages and Systems | Buch | Sack Fachmedien

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

    16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-41532-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rival / McMillan | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Rival / McMillan Verification, Model Checking, and Abstract Interpretation

    15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
    2014
    Verlag: Springer
    ISBN: 978-3-642-54012-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Smolka / Bonakdarpour | Runtime Verification | Buch | Sack Fachmedien

    Smolka / Bonakdarpour Runtime Verification

    5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-11163-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seidl / Müller-Olm | Static Analysis | Buch | Sack Fachmedien

    Seidl / Müller-Olm Static Analysis

    21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-10935-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tillmann / Seidl | Tests and Proofs | Buch | Sack Fachmedien

    Tillmann / Seidl Tests and Proofs

    8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-09098-6
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Petrucci / Cavalcanti / Seceleanu | Critical Systems: Formal Methods and Automated Verification | Buch | Sack Fachmedien

    Petrucci / Cavalcanti / Seceleanu Critical Systems: Formal Methods and Automated Verification

    Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-67112-3
    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