LeafKlimaneutrales Unternehmen CoinFaire Preise PackageSchneller und kostenloser Versand ab 14,90 € Bestellwert
Gebrauchte & Neue Bücher
Keine Versandkosten
Nachhaltiges Unternehmen
Springer
Professional Verification: A Guide to Advanced Functional Verification

Professional Verification: A Guide to Advanced Functional Verification

Wilcox, Paul

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Kurzinformation
Sprache:
Englisch
ISBN:
9781475784831
Verlag:
Springer
Seitenzahl:
208
Auflage:
-
Erschienen:
2013-03-14
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 E-Book 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

Professional Verification: A Guide to Advanced Functional Verification

Professional Verification: A Guide to Advanced Functional Verification

Produktdetails

Einband:
paperback
Seitenzahl:
208
Erschienen:
2013-03-14
Sprache:
Englisch
EAN:
9781475784831
ISBN:
9781475784831
Verlag:
Springer
Gewicht:
327 g
Auflage:
-
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.

Über den Autor

Wilcox, Paul

Entdecke mehr vom Verlag

Springer
Gut
83,72 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
-91%
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
5,16 € 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
23,27 €
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,12 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-87%
Functional Thinking: Paradigm Over Syntax
  • Hardcover
  • 325 Seiten
  • Erschienen 2014
  • O'Reilly Media
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Functional Thinking: Paradigm Over Syntax
Ford, Neal
4,97 € 39,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-76%
Software-Qualität: Testen, Analysieren und Verifizieren von Software
  • Gebunden
  • 526 Seiten
  • Erschienen 2009
  • Spektrum Akademischer Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Software-Qualität: Testen, Analysieren und...
Liggesmeyer, Peter
29,30 € 119,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-97%
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
1,84 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-75%
Formale Modellierung von Authentifizierungs- und Autorisierungsinfrastrukturen: Authentizität von deskriptiven Attributen und Privilegien auf der Basis digitaler Zertifikate
  • paperback
  • 156 Seiten
  • Erschienen 2006
  • Deutscher Universitätsverlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Formale Modellierung von Authentifizierungs-...
Lory, Prof. Dr. Peter
11,39 € 44,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-65%
Functional Programming in C#
  • paperback
  • 425 Seiten
  • Erschienen 2022
  • Manning Publications
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Functional Programming in C#
Buonanno, Enrico
22,15 € 64,19 €
Details
frontend/listing/product-box/box-product-slider.tpl
-97%
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)
  • paperback
  • 240 Seiten
  • Erschienen 2002
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Isabelle/HOL: A Proof Assistant for...
Wenzel, Markus
1,83 € 62,96 €
Details
frontend/listing/product-box/box-product-slider.tpl
-92%
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.
14,27 € 189,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-65%
Eignungsnachweis von Prüfprozessen: Prüfmittelfähigkeit und Messunsicherheit im aktuellen Normenumfeld
  • hardcover
  • 512 Seiten
  • Erschienen 2014
  • Carl Hanser Verlag GmbH & C...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Eignungsnachweis von Prüfprozessen:...
Schulze, Alfred
17,28 € 49,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
Functional Analysis (Grundlehren Der Mathematischen Wissenschaften)
  • hardcover
    • -
  • -
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Functional Analysis (Grundlehren Der...
-
142,47 €
Details
frontend/listing/product-box/box-product-slider.tpl
-90%
Visual Basic (Bootcamp) Certification Exam Guide: New Technology Solutions: Everything You Need to Pass Microsoft's Visual Basic 5 Certification (Certification Series)
  • hardcover
  • 496 Seiten
  • Erschienen 1997
  • McGraw-Hill Inc.,US
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Visual Basic (Bootcamp) Certification Exam...
Hillier, Scot
5,59 € 58,80 €
Details
frontend/listing/product-box/box-product-slider.tpl
-56%
Foundations of Logic and Functional Programming: Workshop, Trento, Italy, December 15-19, 1986. Proceedings (Lecture Notes in Computer Science, 306, Band 306)
  • paperback
  • 232 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Foundations of Logic and Functional...
Levi, Giorgio
25,02 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-71%
Design Recipes for FPGAs: Using Verilog and VHDL
  • paperback
  • 314 Seiten
  • Erschienen 2007
  • Newnes
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Design Recipes for FPGAs: Using Verilog and VHDL
Wilson, Peter
15,61 € 54,52 €
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
8,16 €
Details
frontend/listing/product-box/box-product-slider.tpl
SOFTWR TESTING TECHNIQUES
  • unbound
    • -
  • -
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
SOFTWR TESTING TECHNIQUES
-
23,39 €
Details
frontend/listing/product-box/box-product-slider.tpl
-57%
The Functional Calculus for Sectorial Operators (Operator Theory: Advances and Applications, 169, Band 169)
  • Gebunden
  • 392 Seiten
  • Erschienen 2006
  • Birkhäuser
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Functional Calculus for Sectorial Operators...
Haase, Markus
45,48 € 106,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-53%
Systematische Bewerberinterviews - inkl. Arbeitshilfen online: Mit der VeSiEr-Methode Kompetenzen erkennen und bewerten
  • Kartoniert
  • 294 Seiten
  • Erschienen 2018
  • Haufe
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Systematische Bewerberinterviews - inkl....
Berndt, Christian und Wierz...
21,14 € 44,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-39%
Systematische Bewerberinterviews - inkl. Arbeitshilfen online: Mit der VeSiEr-Methode Kompetenzen erkennen und bewerten (Haufe Fachbuch)
  • paperback
  • 280 Seiten
  • Erschienen 2014
  • Haufe
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Systematische Bewerberinterviews - inkl....
Wierzchowski, Bernd
21,38 € 34,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-93%
Formal Logic: Its Scope and Limits
  • hardcover
  • 198 Seiten
  • Erschienen 1981
  • McGraw-Hill Inc.,US
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Formal Logic: Its Scope and Limits
Jeffrey, Richard C.
4,57 € 64,57 €
Details
frontend/listing/product-box/box-product-slider.tpl
-91%
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
12,20 € 139,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-99%
Qualitative Spatial and Temporal Reasoning
  • Hardcover
  • 544 Seiten
  • Erschienen 2011
  • Wiley-ISTE
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Qualitative Spatial and Temporal Reasoning
Ligozat, Gérard
2,06 € 242,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
Silicon VLSI Technology: Fundamentals, Practice and Modeling (Prentice Hall Electronics and Vlsi Series)
  • hardcover
  • 817 Seiten
  • Erschienen 2000
  • Pearson
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Silicon VLSI Technology: Fundamentals, Practice...
Griffin, Peter B.
27,94 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
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
17,04 € 269,00 €
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,58 € 75,20 €
Details
frontend/listing/product-box/box-product-slider.tpl
Beyond BIOS: Implementing the Unified Extensible Firmware Interface with Intel's Framework
  • paperback
  • 354 Seiten
  • Erschienen 2006
  • Intel Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Beyond BIOS: Implementing the Unified...
Hale, R.
11,47 €
Details
frontend/listing/product-box/box-product-slider.tpl
PC-Check
  • hardcover
    • -
  • -
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
PC-Check
-
26,93 €
Details
frontend/listing/product-box/box-product-slider.tpl
Functional Analysis
  • hardcover
  • 448 Seiten
  • Erschienen 1973
  • McGraw-Hill Inc.,US
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Functional Analysis
Rudin, Walter
42,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-80%
A Vhdl Primer (BCS Practitioner S.)
  • hardcover
  • 253 Seiten
  • Erschienen 1992
  • Prentice Hall Ptr
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
A Vhdl Primer (BCS Practitioner S.)
Bhasker, Jayaram
11,24 € 55,64 €
Details
frontend/listing/product-box/box-product-slider.tpl
-87%
Practical Guide To Computer Simulation
  • bundle
  • 368 Seiten
  • Erschienen 2009
  • World Scientific Publishing...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Practical Guide To Computer Simulation
Hartmann, Alexander K.
14,98 € 115,56 €
Details
frontend/listing/product-box/box-product-slider.tpl
Introductory Functional Analysis with Applications
  • paperback
  • 688 Seiten
  • Erschienen 1978
  • John Wiley & Sons
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introductory Functional Analysis with Applications
Kreyszig, Erwin
64,74 €
Details
frontend/listing/product-box/box-product-slider.tpl
Funktionalanalysis II
  • perfect
    • -
  • -
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Funktionalanalysis II
-
5,25 €
Details
frontend/listing/product-box/box-product-slider.tpl
-91%
Specification and Transformation of Programs: A Formal Approach to Software Development (Springer Texts in Electrical Engineering)
  • paperback
  • 512 Seiten
  • Erschienen 2008
  • Springer Berlin Heidelberg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Specification and Transformation of Programs: A...
Partsch, Helmut A.
5,22 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-100%
Crafting Rails 4 Applications: Expert Practices for Everyday Rails Development (The Facets of Ruby)
  • Kartoniert
  • 200 Seiten
  • Erschienen 2014
  • O'Reilly UK Ltd.
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Crafting Rails 4 Applications: Expert Practices...
Valim, José
0,00 € 35,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-72%
Verteilte Anwendungen mit Microsoft Visual Basic 6 - Original Microsoft Training für Examen 70-175
  • hardcover
    • -
  • Erschienen 1999
  • Microsoft Press Deutschland
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Verteilte Anwendungen mit Microsoft Visual...
-
16,74 € 60,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-73%
Prüfprozesseignung: Prüfmittelfähigkeit und Messunsicherheit im aktuellen Normenumfeld
  • hardcover
  • 336 Seiten
  • Erschienen 2006
  • Carl Hanser Verlag GmbH & C...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Prüfprozesseignung: Prüfmittelfähigkeit und...
Schulze, Alfred
13,46 € 49,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-85%
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
25,38 € 171,19 €
Details
frontend/listing/product-box/box-product-slider.tpl
-24%
Praxiswissen Softwaretest – Test Analyst und Technical Test Analyst: Aus- und Weiterbildung zum Certified Tester – Advanced Level nach ISTQB-Standard (iSQl-Reihe)
  • Gebunden
  • 588 Seiten
  • Erschienen 2015
  • dpunkt.verlag GmbH
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Praxiswissen Softwaretest – Test Analyst und...
Bath, Graham und McKay, Judy
34,24 € 44,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-77%
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
8,22 € 35,00 €
Details