LeafKlimaneutrales 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
-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,41 € 57,23 €
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
0,94 € 137,20 €
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
1,93 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-83%
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.
9,67 € 57,23 €
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,17 € 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
24,39 €
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,16 € 242,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-96%
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
-
2,14 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-75%
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
17,72 € 69,54 €
Details
frontend/listing/product-box/box-product-slider.tpl
-77%
Entwurf invarianter Folgeregler für Systeme mit Lie-Symmetrien
  • paperback
  • 190 Seiten
  • Erschienen 2012
  • Logos Berlin
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Entwurf invarianter Folgeregler für Systeme mit...
Collon, Carsten
8,49 € 36,50 €
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,92 € 62,96 €
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,79 € 64,57 €
Details
frontend/listing/product-box/box-product-slider.tpl
-81%
Recent Stability Issues for Linear Dynamical Systems: Cetraro, Italy 2021 (C.I.M.E. Foundation Subseries, Band 2357)
  • paperback
  • 188 Seiten
  • Erschienen 2024
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Recent Stability Issues for Linear Dynamical...
Vandereycken, Bart
14,00 € 74,89 €
Details
frontend/listing/product-box/box-product-slider.tpl
-85%
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
8,82 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-85%
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
8,84 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-78%
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
35,95 € 160,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-89%
Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for . . . ... Notes in Computer Science, 2757, Band 2757)
  • paperback
  • 476 Seiten
  • Erschienen 2004
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Formal Methods at the Crossroads. From Panacea...
Aichernig, Bernhard K.
6,20 € 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,12 € 79,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-85%
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
8,84 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-86%
Automated Secure Computing for Next-Generation Systems
  • hardcover
  • 480 Seiten
  • Erschienen 2023
  • Wiley-Scrivener
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Automated Secure Computing for Next-Generation...
Tyagi, Amit Kumar
30,38 € 216,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-79%
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.
12,27 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-90%
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,47 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-96%
Typed Lambda Calculi and Applications
  • Hardcover
  • 448 Seiten
  • Erschienen 2001
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Typed Lambda Calculi and Applications
Abramsky, Samson
2,21 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-90%
Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European ... Notes in Computer Science, 4424, Band 4424)
  • Kartoniert
  • 736 Seiten
  • Erschienen 2007
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Tools and Algorithms for the Construction and...
Grumberg, Orna und Huth, Mi...
11,82 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-77%
Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory (Trends in Logic, 53, Band 53)
  • hardcover
  • 404 Seiten
  • Erschienen 2020
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Well-Quasi Orders in Computation, Logic,...
Schuster
32,30 € 141,74 €
Details
frontend/listing/product-box/box-product-slider.tpl
-87%
Mathematical Modeling and Simulation: Introduction for Scientists and Engineers
  • Kartoniert
  • 348 Seiten
  • Erschienen 2008
  • Wiley-VCH
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematical Modeling and Simulation:...
Velten, Kai
18,04 € 135,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-84%
Foundations of Software Science and Computational Structures: 10th International Conference, FOSSACS 2007, Held as Part of the Joint European ... Notes in Computer Science, 4423, Band 4423)
  • Kartoniert
  • 379 Seiten
  • Erschienen 2007
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Foundations of Software Science and...
Seidl, Helmut
9,09 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-100%
Handbook of Formal Languages
  • Hardcover
  • 552 Seiten
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Handbook of Formal Languages
-
0,00 € 246,09 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
Formal Methods in Computer-Aided Design: Third International Conference, Fmcad 2000 Austin, TX, USA, November 2000 Proceedings (Lecture Notes in ... Notes in Computer Science, 1954, Band 1954)
  • Hardcover
  • 324 Seiten
  • Erschienen 2002
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Formal Methods in Computer-Aided Design: Third...
Hansmann, Uwe;Nicklous, Mar...
2,33 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-91%
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science, 1690, Band 1690)
  • paperback
  • 372 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Theorem Proving in Higher Order Logics: 12th...
Dowek, Gilles
5,42 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-93%
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
3,88 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-86%
Language, Life, Limits: 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings (Theoretical Computer Science and General Issues, Band 8493)
  • paperback
  • 424 Seiten
  • Erschienen 2014
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Language, Life, Limits: 10th Conference on...
Meer, Klaus
7,46 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-87%
Mathematical Structure of Finite Random Cybernetic Systems: Lectures Held at the Department for Automation and Information July 1971 (CISM International Centre for Mechanical Sciences, 86, Band 86)
  • paperback
  • 220 Seiten
  • Erschienen 1980
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematical Structure of Finite Random...
Guiasu, Silviu
7,38 € 57,23 €
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
54,14 €
Details
frontend/listing/product-box/box-product-slider.tpl
-92%
Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European ... Notes in Computer Science, 2031, Band 2031)
  • paperback
  • 608 Seiten
  • Erschienen 2009
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Tools and Algorithms for the Construction and...
Yi, Wang
9,59 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-97%
Computer Algebra in Scientific Computing: 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings (Theoretical Computer Science and General Issues, Band 11077)
  • Kartoniert
  • 375 Seiten
  • Erschienen 2018
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Computer Algebra in Scientific Computing: 20th...
Gerdt, Vladimir P. und Koep...
2,26 € 69,54 €
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...
-
164,29 €
Details
frontend/listing/product-box/box-product-slider.tpl
-97%
Mathematical Foundations of Computer Science 1979: 8th Symposium, Olomouc Czechoslovakia, September 3-7, 1979. Proceedings (Lecture Notes in Computer Science, 74, Band 74)
  • paperback
  • 596 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematical Foundations of Computer Science...
Becvar, J.
1,51 € 45,79 €
Details
frontend/listing/product-box/box-product-slider.tpl
-97%
Computer-Supported Calculus (Texts & Monographs in Symbolic Computation)
  • hardcover
  • 612 Seiten
  • Erschienen 2002
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Computer-Supported Calculus (Texts & Monographs...
Gilbert, R.
2,83 € 85,55 €
Details
frontend/listing/product-box/box-product-slider.tpl
Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets (Perspectives in Mathematical Logic)
  • paperback
  • 455 Seiten
  • Erschienen 1987
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Recursively Enumerable Sets and Degrees: A...
Soare, Robert I.
102,74 €
Details