Imagen 1 de 1
Galería
Imagen 1 de 1
¿Quieres vender uno?
Handbook of Model Checking by Jr. Clarke, Edmund M.: New
USD214,74
Aproximadamente183,49 EUR
Estado:
Nuevo
Libro nuevo, sin usar y sin leer, que está en perfecto estado; incluye todas las páginas sin defectos. Consulta el anuncio del vendedor para obtener más información.
- ¡Cómpralo ya!Handbook of Model Checking by Jr. Clarke, Edmund M.: New
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Envío:
Gratis Standard Shipping.
Ubicado en: Sparks, Nevada, Estados Unidos
Entrega:
Entrega prevista entre el jue. 2 oct. y el mié. 8 oct. a 94104
Devoluciones:
30 días para devoluciones. El comprador paga el envío de la devolución..
Pagos:
Compra con confianza
El vendedor asume toda la responsabilidad de este anuncio.
N.º de artículo de eBay:285395717581
Última actualización el 19 sep 2025 02:49:32 H.EspVer todas las actualizacionesVer todas las actualizaciones
Características del artículo
- Estado
- Book Title
- Handbook of Model Checking
- Publication Date
- 2018-06-08
- ISBN
- 9783319105741
Acerca de este producto
Product Identifiers
Publisher
Springer International Publishing A&G
ISBN-10
3319105744
ISBN-13
9783319105741
eBay Product ID (ePID)
202542281
Product Key Features
Number of Pages
Xlviii, 1212 Pages
Language
English
Publication Name
Handbook of Model Checking
Publication Year
2018
Subject
Software Development & Engineering / General, Computer Science, Logic
Type
Textbook
Subject Area
Mathematics, Computers
Format
Hardcover
Dimensions
Item Weight
79.5 Oz
Item Length
9.3 in
Item Width
6.1 in
Additional Product Features
Intended Audience
Scholarly & Professional
Reviews
"The handbook's target audience is primarily researchers and graduate students who want to master the technical cores of model checking techniques. The text is encyclopedic in scope and provides an extensive treatment of the model checking domain." (Vitus S.W. Lam, Computing Reviews, May 20, 2019)
Number of Volumes
1 vol.
Illustrated
Yes
Table Of Content
Introduction to Model Checking.- Temporal Logic and Fair Discrete Systems.- Modeling for Verification.- Automata Theory and Model Checking.- Explicit-State Model Checking.- Partial-Order Reduction.- Binary Decision Diagrams.- BDD-Based Symbolic Model Checking.- Propositional SAT Solving.- SAT-Based Model Checking.- Satisfiability Modulo Theories.- Compositional Reasoning.- Abstraction and Abstraction Refinement.- Interpolation and Model Checking.- Predicate Abstraction for Program Verification.- Combining Model Checking and Data-Flow Analysis.- Model Checking Procedural Programs.- Model Checking Concurrent Programs.- Combining Model Checking and Testing.- Combining Model Checking and Deduction.- Model Checking Parameterized Systems.- Model Checking Security Protocols.- Transfer of Model Checking to Industrial Practice.- Functional Specification of Hardware via Temporal Logic.- Symbolic Trajectory Evaluation.- The mu-calculus and Model Checking.- Graph Games and Reactive Synthesis.-Model Checking Probabilistic Systems.- Model Checking Real-Time Systems.- Verification of Hybrid Systems.- Symbolic Model Checking in Non-Boolean Domains.- Process Algebra and Model Checking.
Synopsis
Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is now widely used for the verification of hardware and software in industry. The editors and authors of this handbook are among the world's leading researchers in this domain, and the 32 contributed chapters present a thorough view of the origin, theory, and application of model checking. In particular, the editors classify the advances in this domain and the chapters of the handbook in terms of two recurrent themes that have driven much of the research agenda: the algorithmic challenge, that is, designing model-checking algorithms that scale to real-life problems; and the modeling challenge, that is, extending the formalism beyond Kripke structures and temporal logic. The book will be valuable for researchers and graduate students engaged with the development of formal methods and verification tools.
LC Classification Number
QA75.5-76.95
Descripción del artículo del vendedor
Información de vendedor profesional
Acerca de este vendedor
AlibrisBooks
98,8% de votos positivos•2,0 millones artículos vendidos
Registrado como vendedor profesional
Votos de vendedor (528.575)
- e***n (390)- Votos emitidos por el comprador.Mes pasadoCompra verificadaGreat transaction, exactly as described, packed well, and promptly shipped on August 6th. Unfortunately the U.S. Postal Service took 23 calendar days to deliver the book. It was shipped from Pennsylvania, to Atlanta, past Alabama to Texas, enjoyed several days in Texas, then to Minneapolis, Jacksonville, Florida, back to Atlanta, finally to Birmingham, and Huntsville. The seller was very responsive and I decided it was interesting to see if/how the book would arrive. Thanks, Joe
- 0***g (380)- Votos emitidos por el comprador.Mes pasadoCompra verificadaExcellent purchase. Was able to get all three items from the one seller. Seller was able to bundle all three items together into one package. Items as described and arrived in perfect condition. Good communication around shipping and tracking as items delayed and not able to be delivered by original estimate. Thanks to shipping updates I was able to track the items arriving before the extended delivery time. Thank you for making these items available on EBay.
- m***m (2351)- Votos emitidos por el comprador.Últimos 6 mesesCompra verificadaI’m thrilled with my recent purchase . The website was user-friendly, and the product descriptions were accurate. Customer service was prompt and helpful, answering all my questions. My order arrived quickly, well-packaged, and the product exceeded my expectations in quality. I’m impressed with the attention to detail and the overall experience. I’ll definitely shop here again and highly recommend from this seller to others. Thank you for a fantastic experience!Tobin's Spirit Guide: Official Ghostbusters Edition by Erik Burnham: Used (#404302598631)
AlibrisBooks
98,8% de votos positivos•2,0 millones artículos vendidos
Registrado como vendedor profesional
Votos de vendedor (528.575)
- e***n (390)- Votos emitidos por el comprador.Mes pasadoCompra verificadaGreat transaction, exactly as described, packed well, and promptly shipped on August 6th. Unfortunately the U.S. Postal Service took 23 calendar days to deliver the book. It was shipped from Pennsylvania, to Atlanta, past Alabama to Texas, enjoyed several days in Texas, then to Minneapolis, Jacksonville, Florida, back to Atlanta, finally to Birmingham, and Huntsville. The seller was very responsive and I decided it was interesting to see if/how the book would arrive. Thanks, Joe
- 0***g (380)- Votos emitidos por el comprador.Mes pasadoCompra verificadaExcellent purchase. Was able to get all three items from the one seller. Seller was able to bundle all three items together into one package. Items as described and arrived in perfect condition. Good communication around shipping and tracking as items delayed and not able to be delivered by original estimate. Thanks to shipping updates I was able to track the items arriving before the extended delivery time. Thank you for making these items available on EBay.
- m***m (2351)- Votos emitidos por el comprador.Últimos 6 mesesCompra verificadaI’m thrilled with my recent purchase . The website was user-friendly, and the product descriptions were accurate. Customer service was prompt and helpful, answering all my questions. My order arrived quickly, well-packaged, and the product exceeded my expectations in quality. I’m impressed with the attention to detail and the overall experience. I’ll definitely shop here again and highly recommend from this seller to others. Thank you for a fantastic experience!Tobin's Spirit Guide: Official Ghostbusters Edition by Erik Burnham: Used (#404302598631)