VERIFICACIÓN DE SISTEMAS Y SOFTWARE Técnicas y herramientas de verificación de modelos - NUEVO - 2001-

Texto original
SYSTEMS & SOFTWARE VERIFICATION Model-Checking Techniques & Tools - NEW - 2001
Toronto Garage Sale
(2962)
Vendedor particularRegistrado como vendedor particular
Por tanto, no se aplican las normas de protección de los consumidores derivadas de la legislación de la UE en materia de consumidores. La Garantía al cliente de eBay sigue aplicando a la mayoría de compras. Más información
Otros artículos del vendedor
Contactar con el vendedor
CAD69,97
Aproximadamente43,10 EUR
o Mejor oferta
Estado:
Nuevo
Envío:
CAD39,95 (aprox. 24,61 EUR) Canada Post Expedited Parcel - USA.
Ubicado en: Etobicoke, Canadá
Debido a las políticas de aduanas de EE. UU., el comprador de este artículo tendrá que pagar tarifas de importación al transportista antes de la entrega. Más información
Tarifas de importación:
Las tarifas de importación deben pagarse antes de la entrega
Entrega:
Entrega prevista entre el vie. 5 dic. y el vie. 19 dic. a 94104
Las fechas previstas de entrega (se abre en una nueva ventana o pestaña) incluyen el tiempo de manipulación del vendedor, el código postal de origen, el código postal de destino y la hora de aceptación, y dependen del servicio de envío seleccionado y de que el pago se haya hecho efectivoel pago se haya hecho efectivo (se abre en una nueva ventana o pestaña). Los plazos de entrega pueden variar, especialmente en épocas de mucha actividad.
El vendedor envía en un plazo de 2 días después de que el pago se haya hecho efectivo.
Devoluciones:
No se aceptan devoluciones.
Pagos:
    Diners Club

Compra con confianza

Garantía al cliente de eBay
Si no recibes el artículo que has pedido, te devolvemos el dinero. Más informaciónGarantía al cliente de eBay - se abre en una nueva ventana o pestaña
El vendedor asume toda la responsabilidad de este anuncio.
N.º de artículo de eBay:252398427798
Última actualización el 21 ene 2025 20:53:42 H.EspVer todas las actualizacionesVer todas las actualizaciones

Características del artículo

Estado
Nuevo: Libro nuevo, sin usar y sin leer, que está en perfecto estado; incluye todas las páginas sin ...
Country/Region of Manufacture
United States
Modified Item
No
Product Type
Textbook
ISBN
9783540415237
Categoría

Acerca de este producto

Product Identifiers

Publisher
Springer Berlin / Heidelberg
ISBN-10
3540415238
ISBN-13
9783540415237
eBay Product ID (ePID)
1944787

Product Key Features

Number of Pages
Xii, 190 Pages
Publication Name
Systems and Software Verification : Model-Checking Techniques and Tools
Language
English
Publication Year
2001
Subject
Software Development & Engineering / Quality Assurance & Testing, Software Development & Engineering / General, Intelligence (Ai) & Semantics, Computer Science
Type
Textbook
Subject Area
Computers
Author
M. Bidoit, A. Finkel, A. Petit, F. Laroussinie, B. Berard
Format
Hardcover

Dimensions

Item Weight
37 Oz
Item Length
9.3 in
Item Width
6.1 in

Additional Product Features

Intended Audience
Scholarly & Professional
LCCN
2001-032056
Dewey Edition
22
Number of Volumes
1 vol.
Illustrated
Yes
Dewey Decimal
005.14
Table Of Content
1. Automata.- 2. Temporal Logic.- 3. Model Checking.- 4. Symbolic Model Checking.- 5. Timed Automata.- 6. Reachability Properties.- 7. Safety Properties.- 8. Liveness Properties.- 9. Deadlock-freeness.- 10. Fairness Properties.- 11. Abstraction Methods.- 12. SMV -- Symbolic Model Checking.- 13. SPIN -- Communicating Automata.- 14. DESIGN/CPN -- Coloured Petri Nets.- 15. UPPAAL -- Timed Systems.- 16. KRONOS -- Model Checking of Real-time Systems.- 17. HYTECH -- Linear Hybrid Systems.- Main Bibliography.
Synopsis
Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. This book provides a basic introduction to this new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available., Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available.
LC Classification Number
QA76.758

Descripción del artículo del vendedor

Acerca de este vendedor

Toronto Garage Sale

100% de votos positivos•7,5 mil artículos vendidos

Se unió el nov 2002
Suele responder en 24 horas
Registrado como vendedor particularPor tanto, no se aplican los derechos de los consumidores derivados de las leyes de protección de los consumidores de la UE. La Garantía al cliente de eBay sigue aplicando a la mayoría de compras. Más informaciónMás información
There is something for everyone. Combine shipping.Many items include Best Offer option. Be fair with your offer, and I will do my best to accept it, or send you counteroffer.
Visitar tiendaContactar

Valoraciones detalladas sobre el vendedor

Promedio durante los últimos 12 meses
Descripción precisa
4.9
Gastos de envío razonables
4.5
Rapidez de envío
4.9
Comunicación
5.0

Categorías populares de esta tienda

Ver todascategorías
BooksTextbooks/Technical BooksFrench BooksCollectablesCatalogs (Auction, Exhibition)ElectronicsDVD / CDFashionDesigner Frames

Votos de vendedor (2.864)

Todas las valoracionesselected
Positivas
Neutras
Negativas
Ver todos los votos

Más que explorar: