LeafKlimaneutrales 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.
Neu bei lehmanns bestellen
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
-73%
Formal Hardware Verification: Methods and Systems in Comparison (Lecture Notes in Computer Science, 1287, Band 1287)
  • hardcover
  • 388 Seiten
  • Erschienen 2008
  • Springer Berlin Heidelberg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Formal Hardware Verification: Methods and...
Kropf, Thomas
15,48 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-56%
Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings (Lecture Notes in Computer Science, 2648, Band 2648)
  • paperback
  • 256 Seiten
  • Erschienen 2008
  • Springer Berlin Heidelberg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Model Checking Software: 10th International...
Various, .
25,32 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
Software - Engineering und ihre Qualitätssicherung
  • hardcover
    • -
  • -
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Software - Engineering und ihre Qualitätssicherung
-
1,64 €
Details
frontend/listing/product-box/box-product-slider.tpl
-52%
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.
27,70 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-97%
Software-Qualität: Testen, Analysieren und Verifizieren von Software
  • hardcover
  • 523 Seiten
  • Erschienen 2002
  • Spektrum Akademischer Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Software-Qualität: Testen, Analysieren und...
Liggesmeyer, Peter
1,41 € 54,96 €
Details
frontend/listing/product-box/box-product-slider.tpl
-92%
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
6,48 € 79,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-70%
Aktuelle Aspekte der Validierung computergestützter Systeme: Grundlagen, Anforderungen an die IT-Infrastruktur, Validierung und Part ... Signatures (pharma technologie journal)
  • paperback
  • 200 Seiten
  • Erschienen 2003
  • ECV Editio Cantor Verlag GmbH
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Aktuelle Aspekte der Validierung...
Linz, Thomas
19,22 € 64,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-90%
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
5,51 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
Real Time Programming: Languages, Specification and Verification
  • Hardcover
  • 264 Seiten
  • World Scientific Publishing...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Real Time Programming: Languages, Specification...
Ramesh, S.;Shyamasundar, R K;
2,50 € 121,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
Computational Intelligence in Software Quality Assurance
  • Hardcover
  • 200 Seiten
  • Erschienen 2005
  • World Scientific Publishing...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Computational Intelligence in Software Quality...
-
3,36 € 143,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-100%
Qualitätssicherung eingebetteter Software: Methoden und Best-Practices (Informationstechnik im Maschinenwesen)
  • perfect
  • 182 Seiten
  • Erschienen 2001
  • Herbert Utz Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Qualitätssicherung eingebetteter Software:...
Bender, Klaus
0,00 € 44,00 €
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
24,51 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
Specification and Proof in Real Time CSP
  • Hardcover
  • 200 Seiten
  • Erschienen 1993
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Specification and Proof in Real Time CSP
Davies, Jim
2,68 € 137,20 €
Details
frontend/listing/product-box/box-product-slider.tpl
-84%
Mastering Software Variability with FeatureIDE
  • hardcover
  • 255 Seiten
  • Erschienen 2017
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mastering Software Variability with FeatureIDE
Saake, Gunter
11,22 € 69,54 €
Details
frontend/listing/product-box/box-product-slider.tpl
-73%
Funktionale Absicherung kamerabasierter Aktiver Fahrerassistenzsysteme durch Hardware-in the-Loop-Tests.: Dissertationsschrift (PhD Theses in Experimental Software Engineering)
  • Kartoniert
  • 267 Seiten
  • Erschienen 2012
  • Fraunhofer Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Funktionale Absicherung kamerabasierter Aktiver...
Schmidt, Florian
13,24 € 49,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-82%
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...
17,46 € 95,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-91%
Validation in Thermal Analysis
  • Gebunden
  • 274 Seiten
  • Erschienen 2022
  • Carl Hanser Verlag GmbH & C...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Validation in Thermal Analysis
Schubnell, Markus
13,98 € 149,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-57%
Application of ISO IEC 17025 Technical Requirements in Industrial Laboratories: Method Validation
  • paperback
  • 80 Seiten
  • Erschienen 2013
  • FriesenPress
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Application of ISO IEC 17025 Technical...
Johnson, M. L. Jane Weitzel...
25,89 € 59,80 €
Details
frontend/listing/product-box/box-product-slider.tpl
-71%
Der Systemtest: Von den Anforderungen zum Qualitätsnachweis
  • Gebunden
  • 308 Seiten
  • Erschienen 2011
  • Carl Hanser Verlag GmbH & C...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Der Systemtest: Von den Anforderungen zum...
Sneed, Harry M.
11,65 € 39,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
Software - Test. Ziele, Anwendungen, Methoden
  • hardcover
    • -
  • -
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Software - Test. Ziele, Anwendungen, Methoden
-
17,45 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
Software-Qualitätssicherung: in der Praxis
  • hardcover
  • 318 Seiten
  • Erschienen 1990
  • Hanser Fachbuch
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Software-Qualitätssicherung: in der Praxis
Wallmüller, Ernest
1,10 € 44,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
An Integrated Approach to Software Engineering
  • Gebunden
  • 566 Seiten
  • Erschienen 2005
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
An Integrated Approach to Software Engineering
Jalote, Pankaj
2,51 € 100,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
Software Testing And Quality Assurance: Theory And Practice
  • paperback
    • -
  • Erschienen 2010
  • Wiley India
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Software Testing And Quality Assurance: Theory...
KSHIRASAGAR NAIK, PRIYADARSHI
19,44 €
Details
frontend/listing/product-box/box-product-slider.tpl
-88%
Reliability, Availability, Maintainability and Safety Assessment: Assessment, Hardware, Software and Human Factors (002) (Reliability, Availability, ... and Safety Assessment, Volume 2, Band 2)
  • hardcover
  • 5 Seiten
  • Erschienen 1992
  • John Wiley & Sons Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Reliability, Availability, Maintainability and...
Villemeur, Alain
82,19 € 681,54 €
Details
frontend/listing/product-box/box-product-slider.tpl
Funktionale Sicherheit in der Praxis: Anwendung von DIN EN 61508 und ISO/DIS 26262 bei der Entwicklung von Serienprodukten
  • hardcover
  • 365 Seiten
  • Erschienen 2010
  • dpunkt
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Funktionale Sicherheit in der Praxis: Anwendung...
Petry, Erwin
145,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-54%
Safer C: Developing Software for High-Integrity and Safety-Critical Systems (The McGraw-Hill International Series in Software Engineering)
  • Kartoniert
  • 256 Seiten
  • Erschienen 1994
  • Mcgraw-Hill Professional
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Safer C: Developing Software for High-Integrity...
Hatton
14,28 € 31,02 €
Details
frontend/listing/product-box/box-product-slider.tpl
-96%
Simulation for Six Sigma
  • Hardcover
  • 432 Seiten
  • Erschienen 2006
  • Wiley-Interscience
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Simulation for Six Sigma
El-Haik, Basem;Al-Aomar, Raid;
6,74 € 180,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
Hardware Description Languages and Their Applications
  • Hardcover
  • 350 Seiten
  • Erschienen 1997
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Hardware Description Languages and Their...
-
3,78 € 176,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-78%
Validierung in der Analytik (Die Praxis der instrumentellen Analytik)
  • Hardcover
    • -
  • Erschienen 1999
  • Wiley-VCH Verlag GmbH & Co....
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Validierung in der Analytik (Die Praxis der...
Kromidas, Stavros
13,43 € 59,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-93%
Design for Reliability
  • Hardcover
  • 336 Seiten
  • Erschienen 2012
  • Wiley
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Design for Reliability
-
9,08 € 123,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-97%
Prozess- und Technologiemanagement in der Softwareentwicklung
  • Gebunden
  • 203 Seiten
  • Erschienen 2004
  • De Gruyter Oldenbourg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Prozess- und Technologiemanagement in der...
Rezagholi, Mohsen
2,85 € 109,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-82%
Software Merging and Slicing
  • paperback
  • 232 Seiten
  • Erschienen 1995
  • IEEE Computer Society Press...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Software Merging and Slicing
Berzins, Valdis
7,51 € 42,80 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129, Band 129)
  • paperback
  • 224 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Verifying Concurrent Processes Using Temporal...
Hailpern, B. T.
3,36 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-92%
Improving Product Reliability and Software Quality: Strategies, Tools, Process and Implementation (Quality and Reliability Engineering Series)
  • hardcover
  • 456 Seiten
  • Erschienen 2019
  • Wiley
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Improving Product Reliability and Software...
Rodin, Jonathan
8,51 € 107,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-100%
Variation Risk Management
  • Hardcover
  • 320 Seiten
  • Erschienen 2003
  • John Wiley & Sons
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Variation Risk Management
Thornton, Anna C.;Thornton;
0,00 € 123,10 €
Details
frontend/listing/product-box/box-product-slider.tpl
-90%
Test und Verlässlichkeit von Rechnern (eXamen.press)
  • hardcover
  • 468 Seiten
  • Erschienen 2007
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Test und Verlässlichkeit von Rechnern...
Kemnitz, Günter
3,59 € 34,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-42%
Modeling Software with Finite State Machines: A Practical Approach
  • hardcover
  • 390 Seiten
  • Erschienen 2006
  • Auerbach Publications
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Modeling Software with Finite State Machines: A...
Wagner Thomas
96,69 € 165,80 €
Details
frontend/listing/product-box/box-product-slider.tpl
-97%
Software Maintenance
  • Hardcover
  • 372 Seiten
  • Erschienen 2003
  • World Scientific Publishing...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Software Maintenance
Grubb, Penny;Takang, Armstr...
2,11 € 82,10 €
Details
frontend/listing/product-box/box-product-slider.tpl
-29%
Testing, Tracing und Debugging bei Emedded Systems (Schriftenreihe der Johannes-Kepler-Universität Linz / Reihe C: Technik und Naturwissenschaften)
  • paperback
  • 169 Seiten
  • Erschienen 2009
  • Trauner Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Testing, Tracing und Debugging bei Emedded...
Langer, Josef
14,04 € 19,80 €
Details
frontend/listing/product-box/box-product-slider.tpl
Softwareentwicklung. Leitfaden für Planung, Realisierung und Einführung von DV-Verfahren. Unter Mitarbeit von Bernd Kowalski.
  • hardcover
    • -
  • Berlin ; München : Siemens-...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Softwareentwicklung. Leitfaden für Planung,...
End Wolfgang Horst Gotthard...
5,29 €
Details