Um Studibuch in vollem Umfang nutzen zu können, empfehlen wir Dir Javascript in Deinem Browser zu aktiveren.

Nachhaltiges Unternehmen

Faire Preise

Schneller und kostenloser Versand ab 14,90 € Bestellwert

SAT-Based Scalable Formal Verification Solutions

Schaue jetzt ins Buch

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.

Neu bestellen bei

E-Book bestellen bei

Schaue jetzt ins Buch

Handgeprüfte Gebrauchtware

Schnelle Lieferung

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

-41%

Formal Hardware Verification: Methods and Systems in Comparison (Lecture Notes in Computer Science, 1287, Band 1287)

paperback
388 Seiten
Erschienen 2008
Springer Berlin Heidelberg

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Formal Hardware Verification: Methods and...

Kropf, Thomas

33,52 € 57,23 €

Program Verification (International Computer Science Series)

hardcover
324 Seiten
Erschienen 1992
Addison Wesley

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Program Verification (International Computer...

Francez, Nissim

4,14 €

Advances in Optimization and Approximation (Nonconvex Optimization and Its Applications, 1, Band 1)

hardcover
404 Seiten
Erschienen 1994
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Advances in Optimization and Approximation...

Ding-Zhu Du

130,78 €

-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 €

-97%

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.

1,60 € 57,23 €

-50%

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

57,76 € 114,48 €

-50%

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

57,76 € 114,48 €

-44%

Cryptographic Security Architecture: Design and Verification

hardcover
338 Seiten
Erschienen 2003
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Cryptographic Security Architecture: Design and...

Gutmann, Peter

59,71 € 106,99 €

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

8,70 €

-66%

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.

8,94 € 26,32 €

-85%

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.

8,83 € 57,23 €

-40%

Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science, 6, Band 6)

paperback
292 Seiten
Erschienen 2009
Cambridge University Press

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Formal Methods in Artificial Intelligence...

Ramsay, Allan

30,13 € 50,19 €

-45%

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.

49,81 € 89,88 €

Mathematical Logic for Computer Science (Prentice-hall International Series in Computer Science)

paperback
320 Seiten
Erschienen 1993
Prentice-Hall

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Mathematical Logic for Computer Science...

Ben-Ari, Mordechai

30,07 €

-73%

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Monographs in Theoretical Computer Science. An EATCS Series, Band 6)

hardcover
332 Seiten
Erschienen 1985
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Fundamentals of Algebraic Specification 1:...

Mahr, Bernd

23,41 € 85,55 €

-86%

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...

7,78 € 57,23 €

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.

19,63 €

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

2,87 €

-11%

Scattering by Obstacles (Mathematics and Its Applications, 21, Band 21)

hardcover
444 Seiten
Erschienen 1986
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Scattering by Obstacles (Mathematics and Its...

Ramm, Alexander G.

95,59 € 106,99 €

-72%

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

23,84 € 84,00 €

-41%

Decomposition Spectrale et Series d'Eisenstein: Une Paraphrase De l'Ecriture (Progress in Mathematics, 113, Band 113)

hardcover
373 Seiten
Erschienen 1993
Birkhäuser Verlag

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Decomposition Spectrale et Series d'Eisenstein:...

Waldspurger, J.L.

62,49 € 105,59 €

-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 €

-96%

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

2,93 € 69,54 €

-10%

Gradient Smoothing Methods With Programming: Applications To Fluids And Landslides (Frontier Research in Computation and Mechanics of Materials and Biology, Band 5)

hardcover
288 Seiten
Erschienen 2024
Wspc

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Gradient Smoothing Methods With Programming:...

Liu, Gui-Rong

88,82 € 98,57 €

-81%

Local Minimization, Variational Evolution and Γ-Convergence (Lecture Notes in Mathematics, Band 2094)

paperback
188 Seiten
Erschienen 2013
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Local Minimization, Variational Evolution and...

Braides, Andrea

7,90 € 40,65 €

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...

2,87 €

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

98,52 €

Designing Embedded Communications Software: Augment system performance. Optimize protocol implementation. Increase code maintainability

paperback
212 Seiten
Erschienen 2003
CMP

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Designing Embedded Communications Software:...

Sridhar, T.

33,37 €

-63%

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.

59,52 € 160,49 €

The Simple Genetic Algorithm: Foundations and Theory (Complex Adaptive Systems)

hardcover
251 Seiten
Erschienen 1998
MIT Press

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

The Simple Genetic Algorithm: Foundations and...

Vose, Michael D.

60,06 €

-88%

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

23,83 € 192,59 €

-83%

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

9,93 € 57,23 €

-93%

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

18,95 € 281,50 €

-97%

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

1,46 € 57,23 €

-97%

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

1,46 € 57,23 €

Partial Differential Equations: Mark Vishik's Seminar (206) (AMERICAN MATHEMATICAL SOCIETY TRANSLATIONS SERIES 2, Band 206)

hardcover
278 Seiten
Erschienen 2002
American Mathematical Society

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Partial Differential Equations: Mark Vishik's...

Uraltseva, N. N.

135,99 €

-77%

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

18,49 € 79,00 €

-37%

Generalized Convexity: Proceedings of the IVth International Workshop on Generalized Convexity Held at Janus Pannonius University Pécs, Hungary, ... and Mathematical Systems, 405, Band 405)

paperback
420 Seiten
Erschienen 1994
Springer-Verlag

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Generalized Convexity: Proceedings of the IVth...

Komlósi, Sándor

67,38 € 106,29 €

-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 €

-97%

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

1,46 € 57,23 €