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.
Neu bei lehmanns bestellen
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
-74%
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
14,79 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
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
2,56 € 137,20 €
Details
frontend/listing/product-box/box-product-slider.tpl
-90%
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
5,27 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
Real Time Programming: Languages, Specification and Verification
  • Hardcover
  • 264 Seiten
  • World Scientific Publishing...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Real Time Programming: Languages, Specification...
Ramesh, S.;Shyamasundar, R K;
2,38 € 121,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-54%
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.
26,46 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-89%
Messung, Modellierung und Bewertung von Rechensystemen
  • Hardcover
  • 380 Seiten
  • Erschienen 1981
  • Springer Berlin Heidelberg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Messung, Modellierung und Bewertung von...
Mertens, B.
6,09 € 54,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
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.
3,21 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-89%
Proof Theory and Intuitionistic Systems
  • Hardcover
  • 300 Seiten
  • Erschienen 1971
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Proof Theory and Intuitionistic Systems
Scarpellini, Bruno
4,71 € 42,75 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
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
5,91 € 242,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-58%
Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings (Lecture Notes in Computer Science, 2648, Band 2648)
  • paperback
  • 256 Seiten
  • Erschienen 2008
  • Springer Berlin Heidelberg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Model Checking Software: 10th International...
Various, .
24,19 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-90%
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.
5,50 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-68%
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
12,86 € 39,80 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
Formal Models and Semantics (Volume B) (Handbook of Theoretical Computer Science, Volume B)
  • hardcover
  • 1273 Seiten
  • Erschienen 1990
  • Elsevier Science
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Formal Models and Semantics (Volume B)...
Luisa, Bozzano G
4,48 € 246,10 €
Details
frontend/listing/product-box/box-product-slider.tpl
-89%
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
-
5,86 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-93%
Scaling Procedures: Issues and Applications
  • paperback
  • 220 Seiten
  • Erschienen 2003
  • Sage Publications, Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Scaling Procedures: Issues and Applications
Sharma, Dr. Subhash
10,40 € 147,66 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
Hardware Description Languages and Their Applications
  • Hardcover
  • 350 Seiten
  • Erschienen 1997
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Hardware Description Languages and Their...
-
3,61 € 176,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-22%
Scale-up: Modellübertragung in der Verfahrenstechnik
  • Gebunden
  • 275 Seiten
  • Erschienen 2005
  • Wiley-VCH
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Scale-up: Modellübertragung in der...
Zlokarnik, Marko
128,25 € 165,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-18%
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
30,04 € 36,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-86%
Lokalisierung von Merkmalen in Softwaresystemen
  • paperback
  • 220 Seiten
  • Erschienen 2006
  • Logos Berlin
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Lokalisierung von Merkmalen in Softwaresystemen
Simon, Daniel
5,51 € 40,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-99%
Role of Edge Analytics in Sustainable Smart City Development: Challenges and Solutions
  • Hardcover
  • 352 Seiten
  • Erschienen 2020
  • Wiley-Scrivener
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Role of Edge Analytics in Sustainable Smart...
Kanagachidambaresan, G. R.
2,55 € 238,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-90%
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
6,01 € 62,96 €
Details
frontend/listing/product-box/box-product-slider.tpl
-49%
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
38,31 € 74,89 €
Details
frontend/listing/product-box/box-product-slider.tpl
Parallel and Large-scale Computers - Performance, Architecture, Applications (10th, v. 2) (Systems Simulations and Scientific Computation: World Congress Proceedings)
  • hardcover
  • 342 Seiten
  • Erschienen 1983
  • Elsevier Science Ltd
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Parallel and Large-scale Computers -...
etc.
5,52 €
Details
frontend/listing/product-box/box-product-slider.tpl
-95%
Scale Development: Theory and Applications (Applied Social Research Methods, Band 26)
  • paperback
  • 205 Seiten
  • Erschienen 2011
  • SAGE Publications Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Scale Development: Theory and Applications...
Devellis, Robert F.
3,33 € 62,06 €
Details
frontend/listing/product-box/box-product-slider.tpl
-58%
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
24,13 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-58%
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
24,18 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-97%
Algorithms and Computation
  • Hardcover
  • 772 Seiten
  • Erschienen 2004
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Algorithms and Computation
-
2,72 € 106,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-39%
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
98,38 € 160,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-71%
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
18,37 € 64,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-58%
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
24,19 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-41%
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.
33,58 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-74%
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.
14,97 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-96%
Distributed, Embedded and Real-time Java Systems
  • Gebunden
  • 378 Seiten
  • Erschienen 2012
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Distributed, Embedded and Real-time Java Systems
Higuera-Toledano, M. Teresa
4,57 € 106,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-83%
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.
12,50 € 73,83 €
Details
frontend/listing/product-box/box-product-slider.tpl
-96%
Simulation for Six Sigma
  • Hardcover
  • 432 Seiten
  • Erschienen 2006
  • Wiley-Interscience
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Simulation for Six Sigma
El-Haik, Basem;Al-Aomar, Raid;
6,44 € 180,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-95%
Extensional Gödel Functional Interpretation
  • Hardcover
  • 172 Seiten
  • Erschienen 1973
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Extensional Gödel Functional Interpretation
Luckhardt, Horst
1,33 € 26,74 €
Details
frontend/listing/product-box/box-product-slider.tpl
-89%
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
6,03 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-61%
Static Analysis: 10th International Symposium, Sas 2003, San Diego, Ca, Usa, June 2003 Proceedings (Lecture Notes in Computer Science): 10th ... Notes in Computer Science, 2694, Band 2694)
  • paperback
  • 524 Seiten
  • Erschienen 2003
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Static Analysis: 10th International Symposium,...
Cousot, Radhia
22,44 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
Computational Intelligence in Software Quality Assurance
  • Hardcover
  • 200 Seiten
  • Erschienen 2005
  • World Scientific Publishing...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Computational Intelligence in Software Quality...
-
3,21 € 143,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-72%
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...
32,33 € 114,48 €
Details