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.
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
-89%
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
6,13 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
Verification Methodology Manual: For Code Coverage in HDL Designs (HDL Designer S.)
  • hardcover
  • 128 Seiten
  • Erschienen 2000
  • Teamwork International
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Verification Methodology Manual: For Code...
Moses, Chris
27,82 €
Details
frontend/listing/product-box/box-product-slider.tpl
-81%
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.
10,96 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-96%
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
3,53 € 79,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-88%
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
7,60 € 64,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-96%
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
2,18 € 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
9,69 €
Details
frontend/listing/product-box/box-product-slider.tpl
-99%
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
1,06 € 137,20 €
Details
frontend/listing/product-box/box-product-slider.tpl
-93%
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...
6,91 € 95,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-96%
Automated and Algorithmic Debugging
  • Hardcover
  • 388 Seiten
  • Erschienen 1993
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Automated and Algorithmic Debugging
Fritzson, Peter A.
2,28 € 53,49 €
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
7,69 €
Details
frontend/listing/product-box/box-product-slider.tpl
-25%
Pharmaceutical Computer Systems Validation: Quality Assurance, Risk Management and Regulatory Compliance
  • paperback
  • 798 Seiten
  • Erschienen 2024
  • CRC Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Pharmaceutical Computer Systems Validation:...
Wingate, Guy
43,96 € 58,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-91%
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.
16,95 € 189,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-64%
Method Validation in Pharmaceutical Analysis: A Guide to Best Practice
  • hardcover
  • 544 Seiten
  • Erschienen 2025
  • Wiley-VCH
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Method Validation in Pharmaceutical Analysis: A...
Nethercote, Phil W.
62,93 € 175,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-36%
Designing the Conceptual Landscape for a XAIR Validation Infrastructure: Proceedings of the International Workshop on Designing the Conceptual ... Notes in Networks and Systems, Band 1375)
  • paperback
  • 200 Seiten
  • Erschienen 2025
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Designing the Conceptual Landscape for a XAIR...
Horsch, Martin T.
109,31 € 171,19 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
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.
1,33 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
Examining Writing
  • Hardcover
  • 360 Seiten
  • Erschienen 2007
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Examining Writing
Shaw, Stuart D.;Weir, Cyril...
1,87 € 75,20 €
Details
frontend/listing/product-box/box-product-slider.tpl
-97%
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
3,37 € 107,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-90%
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
14,49 € 139,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
Viability Theory (Systems & Control S.)
  • hardcover
  • 543 Seiten
  • Erschienen 1991
  • Birkhäuser Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Viability Theory (Systems & Control S.)
Aubin, Jean P
66,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-92%
Foundations of Empirical Software Engineering: The Legacy of Victor R. Basili
  • Gebunden
  • 431 Seiten
  • Erschienen 2005
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Foundations of Empirical Software Engineering:...
Boehm, Barry und Rombach, H...
15,21 € 181,89 €
Details
frontend/listing/product-box/box-product-slider.tpl
-57%
Reliability of MEMS: Testing of Materials and Devices (Advanced Micro and Nanosystems)
  • Kartoniert
  • 303 Seiten
  • Erschienen 2013
  • Wiley-VCH
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Reliability of MEMS: Testing of Materials and...
Tabata, Osamu und Tsuchiya,...
41,67 € 96,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-72%
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
8,23 € 29,80 €
Details
frontend/listing/product-box/box-product-slider.tpl
-89%
Softwareentwicklung eingebetteter Systeme: Grundlagen, Modellierung, Qualitätssicherung (Xpert.press)
  • Gebunden
  • 248 Seiten
  • Erschienen 2005
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Softwareentwicklung eingebetteter Systeme:...
Scholz, Peter
6,30 € 56,99 €
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...
-
186,15 €
Details
frontend/listing/product-box/box-product-slider.tpl
-86%
Secure Programming Cookbook for C and C++ (Cookbooks Ser.)
  • Hardcover
  • 790 Seiten
  • Erschienen 2003
  • O'Reilly & Associates
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Secure Programming Cookbook for C and C++...
Viega, John
10,87 € 77,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-85%
Designing Maintainable Software
  • hardcover
  • 182 Seiten
  • Erschienen 1999
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Designing Maintainable Software
Smith, Dennis D.
8,20 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-92%
Reliability of MEMS: Testing of Materials and Devices (Advanced Micro and Nanosystems, 6, Band 6)
  • Gebunden
  • 304 Seiten
  • Erschienen 2007
  • Wiley-VCH
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Reliability of MEMS: Testing of Materials and...
Tabata, Osamu
20,24 € 269,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-63%
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
19,95 € 54,56 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
The Craft of Software Testing: Subsystem Testing Including Object-Based and Object-Oriented Testing: Subsystems Testing Including Object-Based and ... Hall Series in Innovative Technology)
  • paperback
  • 584 Seiten
  • Erschienen 1995
  • Prentice Hall
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Craft of Software Testing: Subsystem...
Marick, Brian
1,69 € 70,62 €
Details
frontend/listing/product-box/box-product-slider.tpl
-92%
Reliable Software Technologies – Ada-Europe 2016: 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, ... and Software Engineering, Band 9695)
  • paperback
  • 228 Seiten
  • Erschienen 2016
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Reliable Software Technologies – Ada-Europe...
Quiñones, Eduardo
4,39 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-75%
LOTOSphere: Software Development with LOTOS
  • hardcover
  • 510 Seiten
  • Erschienen 1995
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
LOTOSphere: Software Development with LOTOS
Vissers, Chris
40,73 € 160,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-72%
Testable JavaScript: Ensuring Reliable Code
  • paperback
  • 271 Seiten
  • Erschienen 2013
  • O'Reilly Media
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Testable JavaScript: Ensuring Reliable Code
Trostler, Mark Ethan
9,77 € 35,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-55%
Building Secure and Reliable Systems: Best Practices for Designing, Implementing, and Maintaining Systems
  • Kartoniert
  • 558 Seiten
  • Erschienen 2020
  • O'Reilly UK Ltd.
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Building Secure and Reliable Systems: Best...
Adkins, Heather und Beyer, ...
30,72 € 68,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
Tutorial on Software Maintenance
  • paperback
    • -
  • Erschienen 1983
  • IEEE Computer Society
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Tutorial on Software Maintenance
Zvegintzov, N.
1,89 € 34,24 €
Details
frontend/listing/product-box/box-product-slider.tpl
-73%
Beautiful Testing
  • Kartoniert
  • 350 Seiten
  • Erschienen 2009
  • O'Reilly Media
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Beautiful Testing
Riley, Tim und Goucher, Adam
11,14 € 41,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
Objektorientiertes Testen und Testautomatisierung in der Praxis: Konzepte, Techniken und Verfahren
  • paperback
  • 348 Seiten
  • Erschienen 2004
  • dpunkt
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Objektorientiertes Testen und...
Vigenschow, Uwe
3,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-77%
Software Management: Beherrschung des Lifecycles (Xpert.press)
  • hardcover
  • 341 Seiten
  • Erschienen 2002
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Software Management: Beherrschung des...
Dörnemann, H.
7,04 € 29,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-71%
Model-Based Safety and Assessment: 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings (Programming and Software Engineering, Band 12297)
  • paperback
  • 268 Seiten
  • Erschienen 2020
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Model-Based Safety and Assessment: 7th...
Höfig, Kai
20,08 € 69,54 €
Details
frontend/listing/product-box/box-product-slider.tpl
-82%
Introduction to Hardware Security and Trust
  • hardcover
  • 435 Seiten
  • Erschienen 2011
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Hardware Security and Trust
Wang, Cliff
30,15 € 171,19 €
Details