LeafNachhaltiges Unternehmen CoinFaire Preise PackageSchneller und kostenloser Versand ab 14,90 € Bestellwert
Gebrauchte & Neue Bücher
Keine Versandkosten
Nachhaltiges Unternehmen
-
SAT-Based Scalable Formal Verification Solutions
Schaue jetzt ins Buch book-icon

SAT-Based Scalable Formal Verification Solutions

Gupta, Aarti und Ganai, Malay

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Kurzinformation
Sprache:
Englisch
ISBN:
0387691669
Verlag:
-
Seitenzahl:
360
Auflage:
-
Erschienen:
2007-05-22
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
Schaue jetzt ins Buch book-icon
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

SAT-Based Scalable Formal Verification Solutions

This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. It describes SAT-based model checking approaches and gives engineering details on what makes model checking practical. The book brings together the various SAT-based scalable emerging technologies and techniques covered can be synergistically combined into a scalable solution. von Gupta, Aarti und Ganai, Malay

Produktdetails

Einband:
Gebunden
Seitenzahl:
360
Erschienen:
2007-05-22
Sprache:
Englisch
EAN:
9780387691664
ISBN:
0387691669
Verlag:
-
Gewicht:
705 g
Auflage:
-
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.

Über den Autor

Gupta, Aarti und Ganai, Malay

Entdecke mehr vom Verlag

-
Neu
160,49 €
Entdecke mehr zum Thema
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
-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,29 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-77%
Computing Qualitatively Correct Approximations of Balance Laws: Exponential-Fit, Well-Balanced and Asymptotic-Preserving (SEMA SIMAI Springer Series, 2, Band 2)
  • Gebunden
  • 340 Seiten
  • Erschienen 2013
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Computing Qualitatively Correct Approximations...
Gosse, Laurent
24,58 € 106,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-23%
Mathematical Foundations of Computer Science 2001: 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001 ... Notes in Computer Science, 2136, Band 2136)
  • paperback
  • 740 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematical Foundations of Computer Science...
Pultr, Ales
87,82 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-23%
Algorithms - ESA 2003: 11th Annual European Symposium, Budapest, Hungary, September 2003 Proceedings: 11th Annual European Symposium, Budapest, ... Notes in Computer Science, 2832, Band 2832)
  • paperback
  • 808 Seiten
  • Erschienen 2009
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Algorithms - ESA 2003: 11th Annual European...
Di Battista, Giuseppe
87,82 € 114,48 €
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
12,47 €
Details
frontend/listing/product-box/box-product-slider.tpl
-49%
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.
13,44 € 26,32 €
Details
frontend/listing/product-box/box-product-slider.tpl
-78%
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,66 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-18%
Complexity of Proofs and Their Transformations in Axiomatic Theories (Translations of Mathematical Monographs)
  • hardcover
  • 153 Seiten
  • Erschienen 1993
  • American Mathematical Society
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Complexity of Proofs and Their Transformations...
Orevkov, V. P.
73,34 € 89,88 €
Details
frontend/listing/product-box/box-product-slider.tpl
-29%
Domain-Specific Small Language Models: Efficient Ai for Local Deployment
  • paperback
  • 300 Seiten
  • Erschienen 2026
  • Manning Publications
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Domain-Specific Small Language Models:...
Iozzia, Guglielmo
34,30 € 48,14 €
Details
frontend/listing/product-box/box-product-slider.tpl
-81%
Formal Techniques for Networked and Distributed Systems - FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 ... Notes in Computer Science, 5048, Band 5048)
  • Kartoniert
  • 341 Seiten
  • Erschienen 2008
  • Springer Berlin Heidelberg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Formal Techniques for Networked and Distributed...
Suzuki, Kenji und Higashino...
11,15 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-75%
Global Smooth Solutions for the Inviscid Sqg Equation (Memoirs of the American Mathematical Society, 1292, Band 266)
  • paperback
  • 89 Seiten
  • Erschienen 2020
  • American Mathematical Society
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Global Smooth Solutions for the Inviscid Sqg...
Gomez-serrano, Javier
22,76 € 90,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
Global Existence of Small Amplitude Solutions for a Model Quadratic Quasilinear Coupled Wave-Klein-Gordon System in Two Space Dimension, with Mildly ... of the American Mathematical Society)
  • paperback
  • 256 Seiten
  • Erschienen 2024
  • American Mathematical Society
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Global Existence of Small Amplitude Solutions...
Stingo, A.
28,14 €
Details
frontend/listing/product-box/box-product-slider.tpl
-100%
Skalierbare akustische Synthese für konkatenative Sprachsynthesesysteme (Studientexte zur Sprachkommunikation)
  • paperback
  • 157 Seiten
  • Erschienen 2015
  • TUDpress
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Skalierbare akustische Synthese für...
Strecha, Guntram
0,00 € 39,80 €
Details
frontend/listing/product-box/box-product-slider.tpl
First Summer School in Analysis and Mathematical Physics: Quantization, the Segal-Bargmann Transform, and Semiclassical Analysis : First Summer School ... (Contemporary Mathematics, 260, Band 260)
  • paperback
  • 132 Seiten
  • Erschienen 2000
  • American Mathematical Society
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
First Summer School in Analysis and...
Villegas-Blas, Carlos
4,37 €
Details
frontend/listing/product-box/box-product-slider.tpl
-59%
Fundamental Factorization of a GLSM Part I: Construction (Memoirs of the American Mathematical Society)
  • paperback
  • 96 Seiten
  • Erschienen 2023
  • American Mathematical Society
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Fundamental Factorization of a GLSM Part I:...
Shoemaker, Mark
34,17 € 84,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-100%
SOFSEM 2002: Theory and Practice of Informatics
  • Hardcover
  • 304 Seiten
  • Erschienen 2002
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
SOFSEM 2002: Theory and Practice of Informatics
-
0,00 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
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
4,20 € 69,54 €
Details
frontend/listing/product-box/box-product-slider.tpl
-53%
Automatic Algorithm Selection for Complex Simulation Problems
  • Kartoniert
  • 382 Seiten
  • Erschienen 2011
  • Vieweg+Teubner Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Automatic Algorithm Selection for Complex...
Ewald, Roland
50,41 € 106,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
Function Spaces: Fourth Conference on Function Spaces, May 14-19, 2002, Southern Illinois University at Edwardsville (Contemporary Mathematics)
  • paperback
  • 322 Seiten
  • Erschienen 2003
  • American Mathematical Society
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Function Spaces: Fourth Conference on Function...
Conference on Function Spac...
4,37 €
Details
frontend/listing/product-box/box-product-slider.tpl
Advances in Logic: The North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas (Contemporary Mathematics, 425, Band 425)
  • paperback
  • 150 Seiten
  • Erschienen 2007
  • American Mathematical Society
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Advances in Logic: The North Texas Logic...
Jackson, Steve
166,92 €
Details
frontend/listing/product-box/box-product-slider.tpl
-47%
Minimax Theorems and Qualitative Properties of the Solutions of Hemivariational Inequalities (Nonconvex Optimization and Its Applications, 29, Band 29)
  • hardcover
  • 328 Seiten
  • Erschienen 1998
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Minimax Theorems and Qualitative Properties of...
Panagiotopoulos, Panagiotis D.
85,33 € 160,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-82%
The Designer’s Guide to Verilog-AMS (The Designer's Guide Book Series)
  • Gebunden
  • 292 Seiten
  • Erschienen 2004
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Designer’s Guide to Verilog-AMS (The...
Zinke, Olaf und Kundert, Ke
34,17 € 192,59 €
Details
frontend/listing/product-box/box-product-slider.tpl
-75%
Generalized Bounds for Convex Multistage Stochastic Programs (Lecture Notes in Economics and Mathematical Systems, 548, Band 548)
  • Kartoniert
  • 190 Seiten
  • Erschienen 2004
  • Springer Berlin Heidelberg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Generalized Bounds for Convex Multistage...
Kuhn, Daniel
14,23 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-81%
Quantum Bounded Symmetric Domains (Translations of Mathematical Monographs, 238, Band 238)
  • hardcover
  • 256 Seiten
  • Erschienen 2010
  • American Mathematical Society
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Quantum Bounded Symmetric Domains (Translations...
Sinel'shchikov, Sergey
23,87 € 126,26 €
Details
frontend/listing/product-box/box-product-slider.tpl
-90%
Computing Algorithms of Solution of Problems of Applied Mathematics & Their Standard Program Realization: Part 2 -- Stochastic Mathematics
  • hardcover
  • 354 Seiten
  • Erschienen 2015
  • Nova Science Publishers Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Computing Algorithms of Solution of Problems of...
Kachiashvili, Kartlos Joseph
27,17 € 281,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-96%
Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European ... Notes in Computer Science, 2280, Band 2280)
  • paperback
  • 500 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Tools and Algorithms for the Construction and...
Katoen, Joost-Pieter
2,09 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-96%
Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science, 3116, Band 3116)
  • paperback
  • 584 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Algebraic Methodology and Software Technology:...
Maharaj, Savitri
2,09 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-66%
Logarithmic combinatorial structures: a probabilistic approach (EMS Monographs in Mathematics)
  • hardcover
  • 374 Seiten
  • Erschienen 2003
  • EMS Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Logarithmic combinatorial structures: a...
Tavaré, Simon
26,51 € 79,00 €
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
-55%
Nilspace Factors for General Uniformity Seminorms, Cubic Exchangeability and Limits (Memoirs of the American Mathematical Society)
  • paperback
  • 101 Seiten
  • Erschienen 2023
  • American Mathematical Society
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Nilspace Factors for General Uniformity...
Szegedy, Balazs
35,47 € 78,11 €
Details
frontend/listing/product-box/box-product-slider.tpl
-96%
Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised ... Notes in Computer Science, 2755, Band 2755)
  • paperback
  • 472 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Recent Trends in Algebraic Development...
Pattinson, Dirk
2,09 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-76%
Capacity Theory With Local Rationality: The Strong Fekete-Szego Theorem on Curves (Mathematical Surveys and Monographs, 193, Band 193)
  • hardcover
  • 437 Seiten
  • Erschienen 2014
  • American Mathematical Society
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Capacity Theory With Local Rationality: The...
Rumely, Robert
33,09 € 135,89 €
Details
frontend/listing/product-box/box-product-slider.tpl
-21%
Metamathematics: Foundations & Physicalization
  • hardcover
  • 446 Seiten
  • Erschienen 2022
  • Wolfram Media Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Metamathematics: Foundations & Physicalization
Wolfram, Stephen
37,93 € 48,10 €
Details
frontend/listing/product-box/box-product-slider.tpl
-86%
Asymptotic Differential Algebra and Model Theory of Transseries: (Ams-195) (Annals of Mathematics Studies, 195, Band 195)
  • hardcover
  • 849 Seiten
  • Erschienen 2017
  • Princeton University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Asymptotic Differential Algebra and Model...
Van Der Hoeven, Joris
31,50 € 219,35 €
Details
frontend/listing/product-box/box-product-slider.tpl
-95%
CASL User Manual: Introduction to Using the Common Algebraic Specification Language (Lecture Notes in Computer Science, 2900, Band 2900)
  • paperback
  • 260 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
CASL User Manual: Introduction to Using the...
Mosses, Peter D.
2,91 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
Almost Sure Scattering for the One Dimensional Nonlinear Schrodinger Equation (Memoirs of the American Mathematical Society)
  • paperback
  • 87 Seiten
  • Erschienen 2024
  • American Mathematical Society
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Almost Sure Scattering for the One Dimensional...
Thomann, Laurent
30,16 €
Details
frontend/listing/product-box/box-product-slider.tpl
-99%
Solving Least Squares Problems (Prentice-Hall Series in Automatic Computation)
  • hardcover
  • 340 Seiten
  • Erschienen 1974
  • Longman Higher Education
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Solving Least Squares Problems (Prentice-Hall...
Lawson, Charles L.
1,08 € 73,83 €
Details
frontend/listing/product-box/box-product-slider.tpl
Potential Estimates and Quasilinear Parabolic Equations with Measure Data (Memoirs of the American Mathematical Society)
  • paperback
  • 131 Seiten
  • Erschienen 2024
  • American Mathematical Society
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Potential Estimates and Quasilinear Parabolic...
Nguyen, Quoc-Hung
28,31 €
Details
frontend/listing/product-box/box-product-slider.tpl
-28%
Fundamente der Mathematik - Bayern - 2023 - 11. Jahrgangsstufe: Lösungen zum Schulbuch
  • perfect
  • 96 Seiten
  • Erschienen 2023
  • Cornelsen Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Fundamente der Mathematik - Bayern - 2023 - 11....
-
21,20 € 29,25 €
Details