LeafNachhaltiges Unternehmen CoinFaire Preise PackageSchneller und kostenloser Versand ab 14,90 € Bestellwert
Gebrauchte & Neue Bücher
Keine Versandkosten
Nachhaltiges Unternehmen
Springer-Verlag GmbH
Software Verification and Validation

Software Verification and Validation

Fisher, Marcus S.

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Kurzinformation
Sprache:
Englisch
ISBN:
0387327258
Verlag:
Springer-Verlag GmbH
Seitenzahl:
172
Auflage:
-
Erschienen:
2006-12-01
Dieser Artikel steht derzeit nicht zur Verfügung!

Gebrauchte Bücher kaufen

Information
Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.
Information
Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Information
Neuware - verlagsfrische aktuelle Buchausgabe.
Bestellen bei zvab
Neu bestellen bei lehmanns
Natural Handgeprüfte Gebrauchtware
Coins Schnelle Lieferung
Check Faire Preise

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Weitere Zahlungsmöglichkeiten  
Zahlungsarten

Beschreibung

Software Verification and Validation
An Engineering and Scientific Approach

Software Verification and Validation von Fisher, Marcus S.

Produktdetails

Einband:
Gebunden
Seitenzahl:
172
Erschienen:
2006-12-01
Sprache:
Englisch
EAN:
9780387327259
ISBN:
0387327258
Verlag:
Springer-Verlag GmbH
Gewicht:
434 g
Auflage:
-
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.

Über den Autor

Fisher, Marcus S.

Entdecke mehr vom Verlag

Springer-Verlag GmbH
Neu
128,39 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
-53%
Advanced Formal Verification
  • Gebunden
  • 280 Seiten
  • Erschienen 2004
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Advanced Formal Verification
Drechsler, Rolf
49,82 € 106,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-91%
Writing Testbenches using SystemVerilog
  • Gebunden
  • 414 Seiten
  • Erschienen 2006
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Writing Testbenches using SystemVerilog
Bergeron, Janick
19,25 € 213,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-63%
Test, Analyse und Verifikation von Software – gestern, heute, morgen
  • Kartoniert
  • 208 Seiten
  • Erschienen 2017
  • dpunkt.verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Test, Analyse und Verifikation von Software –...
Spillner, Andreas und Winte...
10,93 € 29,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
Domain-specific Modelling of Railway Control Systems with Integrated Verification and Validation
  • paperback
  • 456 Seiten
  • Erschienen 2010
  • Dr. Hut
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Domain-specific Modelling of Railway Control...
Mewes, Kirsten
11,84 €
Details
frontend/listing/product-box/box-product-slider.tpl
-96%
Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings (Lecture Notes in Computer Science, 2725, Band 2725)
  • paperback
  • 500 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Computer Aided Verification: 15th International...
Hunt, Jr.
2,18 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-100%
EUROVAL ― An European Initiative on Validation of CFD Codes: Results of the EC/BRITE-EURAM Project EUROVAL, 1990–1992 (Notes on Numerical Fluid Mechanics and Multidisciplinary Design, 42, Band 42)
  • paperback
  • 545 Seiten
  • Erschienen 1993
  • Vieweg+Teubner Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
EUROVAL ― An European Initiative on Validation...
Schwamborn, Dieter
0,00 € 79,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-100%
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... Science and General Issues, Band 7610)
  • paperback
  • 380 Seiten
  • Erschienen 2012
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Leveraging Applications of Formal Methods,...
Steffen, Bernhard
0,00 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
Software-Prüfung. Eine Anleitung zum Test und zur Inspektion. (vdf Lehrbuch)
  • paperback
  • 160 Seiten
  • Erschienen 2000
  • vdf Hochschulverlag AG an d...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Software-Prüfung. Eine Anleitung zum Test und...
Sandmayr, Helmut
1,92 €
Details
frontend/listing/product-box/box-product-slider.tpl
Software Quality Assurance: Practice and Implementation
  • hardcover
  • 400 Seiten
  • Erschienen 1988
  • Prentice Hall
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Software Quality Assurance: Practice and...
Vincent, James P.
76,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-99%
Software Testing and Continuous Quality Improvement
  • hardcover
  • 688 Seiten
  • Erschienen 2008
  • Taylor & Francis Ltd
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Software Testing and Continuous Quality...
Lewis, William E. (Presiden...
1,37 € 95,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
Der Systemtest: Von den Anforderungen zum Qualitätsnachweis
  • hardcover
  • 309 Seiten
  • Erschienen 2008
  • Carl Hanser Verlag GmbH & C...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Der Systemtest: Von den Anforderungen zum...
Baumgartner, Manfred
29,72 €
Details
frontend/listing/product-box/box-product-slider.tpl
Multivariate model building: The validation of a search strategy
  • paperback
    • -
  • Erschienen 1970
  • Institute for Social Research,
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Multivariate model building: The validation of...
-
38,81 €
Details
frontend/listing/product-box/box-product-slider.tpl
-43%
Part 11 and Computer Validation Guidebook
  • paperback
  • 323 Seiten
  • Erschienen 2005
  • UniversityOfHealthCare
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Part 11 and Computer Validation Guidebook
Farb, Daniel, M.D.
36,67 € 64,15 €
Details
frontend/listing/product-box/box-product-slider.tpl
-71%
Introduction to SystemVerilog
  • hardcover
  • 887 Seiten
  • Erschienen 2021
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to SystemVerilog
Mehta, Ashok B.
43,32 € 149,79 €
Details
frontend/listing/product-box/box-product-slider.tpl
Software-Prüfung: Eine Fibel
  • paperback
  • 184 Seiten
  • Erschienen 1991
  • Zürich , Stuttgart. vdf , B...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Software-Prüfung: Eine Fibel
Frühauf, K. , Ludewig, J. ,...
17,93 €
Details
frontend/listing/product-box/box-product-slider.tpl
-50%
Essentials of Electronic Testing for Digital, Memory and Mixed-Signal VLSI Circuits (Frontiers in Electronic Testing, Band 17)
  • paperback
  • 712 Seiten
  • Erschienen 2013
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Essentials of Electronic Testing for Digital,...
Agrawal, Vishwani
69,23 € 139,09 €
Details
frontend/listing/product-box/box-product-slider.tpl
-8%
Test- und Prüfverfahren in der Elektronikfertigung: Vom Arbeitsprinzip bis Design-for-Test-Regeln: Vom Arbeitsprinzip bis zu Design für Test-Regeln
  • Kartoniert
  • 250 Seiten
  • Erschienen 2012
  • VDE VERLAG GmbH
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Test- und Prüfverfahren in der...
Berger, Mario
36,49 € 39,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
Digital Systems Testing and Testable Design
  • hardcover
  • 672 Seiten
  • Erschienen 1994
  • Wiley-IEEE Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Digital Systems Testing and Testable Design
Friedman, Arthur D.
3,36 € 189,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-1%
Zuverlässigkeit von Geräten und Systemen
  • paperback
  • 384 Seiten
  • Erschienen 1997
  • Springer-Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Zuverlässigkeit von Geräten und Systemen
Birolini, Alessandro
79,17 € 79,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-60%
FEM-Praxis mit SolidWorks: Simulation durch Kontrollrechnung und Messung verifizieren
  • Hardcover
    • -
  • Erschienen 2013
  • Springer Vieweg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
FEM-Praxis mit SolidWorks: Simulation durch...
Brand, Michael
10,05 € 24,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-79%
Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15–16 May 1992 (Workshops in Computing)
  • paperback
  • 204 Seiten
  • Erschienen 2013
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Formal Methods in Databases and Software...
Alagar, V.S.
12,02 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-15%
Handbuch für Softwareentwickler: Das Standardwerk für professionelles Software Engineering
  • Gebunden
  • 896 Seiten
  • Erschienen 2021
  • Rheinwerk Computing
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Handbuch für Softwareentwickler: Das...
Krypczyk, Veikko und Bochko...
42,26 € 49,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-60%
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems: 18th International GI/ITG Conference, MMB & DFT 2016, Münster, ... and Software Engineering, Band 9629)
  • paperback
  • 224 Seiten
  • Erschienen 2016
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Measurement, Modelling and Evaluation of...
Remke, Anne
21,22 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
Ein Simulationsmodell zur technischen Zuverlässigkeit flexibler Fertigungssysteme-
  • perfect
    • -
  • -
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Ein Simulationsmodell zur technischen...
-
11,11 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
Zuverlässigkeit im Fahrzeug- und Maschinenbau: Ermittlung von Bauteil- und System-Zuverlässigkeiten (VDI-Buch)
  • Gebunden
  • 495 Seiten
  • Erschienen 2004
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Zuverlässigkeit im Fahrzeug- und Maschinenbau:...
Bertsche, Bernd
8,11 € 139,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-82%
Abenteuer Softwarequalität: Grundlagen und Verfahren für Qualitätssicherung und Qualitätsmanagement
  • Kartoniert
  • 248 Seiten
  • Erschienen 2012
  • dpunkt.verlag GmbH
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Abenteuer Softwarequalität: Grundlagen und...
Schneider, Kurt
5,45 € 29,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-70%
Black Box Testing: Techniques for Functional Testing of Software and Systems
  • paperback
  • 324 Seiten
  • Erschienen 1995
  • Wiley
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Black Box Testing: Techniques for Functional...
Beizer, Boris
13,56 € 45,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-95%
Ansätze zur Diagnose von integrierten Schaltungen unter Verwendung von Schaltungssimulationen
  • paperback
  • 204 Seiten
  • Erschienen 2012
  • TUDpress
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Ansätze zur Diagnose von integrierten...
Coym, Torsten
1,38 € 29,80 €
Details
frontend/listing/product-box/box-product-slider.tpl
-42%
A First Course in Model Validation and Model Risk Management
  • paperback
  • 582 Seiten
  • Erschienen 2026
  • Academic Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
A First Course in Model Validation and Model...
Goldberg, Martin
57,15 € 98,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
Elements of software science (Operating and programming systems series)
  • paperback
    • -
  • -
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Elements of software science (Operating and...
-
36,96 €
Details
frontend/listing/product-box/box-product-slider.tpl
-18%
Methodisches Testen von Programmen
  • Gebunden
  • 179 Seiten
  • Erschienen 2001
  • De Gruyter Oldenbourg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Methodisches Testen von Programmen
Myers, Glenford J.
98,28 € 119,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-97%
Designing Maintainable Software
  • hardcover
  • 182 Seiten
  • Erschienen 1999
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Designing Maintainable Software
Smith, Dennis D.
1,63 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
Die zehn goldenen Regeln des Software-Testens
  • perfect
  • 300 Seiten
  • -
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Die zehn goldenen Regeln des Software-Testens
-
5,35 €
Details
frontend/listing/product-box/box-product-slider.tpl
-61%
Continuous Delivery: Reliable Software Releases through Build, Test, and Deployment Automation (Addison-Wesley Signature Series (Fowler))
  • Gebunden
  • 512 Seiten
  • Erschienen 2010
  • Pearson International
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Continuous Delivery: Reliable Software Releases...
Humble, Jez und Farley, Davi
21,38 € 54,56 €
Details
frontend/listing/product-box/box-product-slider.tpl
-81%
Code Quality: The Open Source Perspective (Effective Software Development Series)
  • paperback
  • 608 Seiten
  • Erschienen 2006
  • Addison-Wesley Professional
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Code Quality: The Open Source Perspective...
Spinellis, Diomidis
11,66 € 60,94 €
Details
frontend/listing/product-box/box-product-slider.tpl
-18%
The Operational Excellence Library; Mastering Valgrind
  • paperback
  • 199 Seiten
  • Erschienen 2025
  • 5STARCooks
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Operational Excellence Library; Mastering...
Gerardus Blokdyk - The Art ...
74,74 € 90,92 €
Details
frontend/listing/product-box/box-product-slider.tpl
-90%
Integrierte Schadenanalyse: Technikgestaltung und das System des Versagens (VDI-Buch)
  • hardcover
  • 372 Seiten
  • Erschienen 2004
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Integrierte Schadenanalyse: Technikgestaltung...
Schmitt-Thomas, Karlheinz G.
20,76 € 215,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-93%
Lehrbuch der Software-Technik, Bd.2, Software-Management, Software-Qualitätssicherung und Unternehmensmodellierung, m. CD-ROM
  • Gebundene Ausgabe
  • 789 Seiten
  • Erschienen 1997
  • Spektrum Akademischer Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Lehrbuch der Software-Technik, Bd.2,...
Balzert, Helmut
4,87 € 69,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-54%
Theory of Program Structures: Schemes, Semantics, Verification (Lecture Notes in Computer Science, 36, Band 36)
  • paperback
  • 388 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Theory of Program Structures: Schemes,...
Greibach, Sheila A.
12,17 € 26,32 €
Details
frontend/listing/product-box/box-product-slider.tpl
-52%
Lehrbuch der Softwaretechnik: Entwurf, Implementierung, Installation und Betrieb
  • Gebunden
  • 616 Seiten
  • Erschienen 2011
  • Spektrum Akademischer Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Lehrbuch der Softwaretechnik: Entwurf,...
Balzert, Helmut
36,23 € 74,99 €
Details