High Integrity Software

189,00 €
+ 5,49 € Envío
  • product image

High Integrity Software

  • Marca: Unbranded
Vendido por:

High Integrity Software

  • Marca: Unbranded

189,00 €

En existencias
+ 5,49 € Envío

Política de devoluciones de 14 días

Vendido por:

189,00 €

En existencias
+ 5,49 € Envío

Política de devoluciones de 14 días

Métodos de pago:

Descripción

High Integrity Software

I General Applications of Formal Methods and Systems. - 1 Designware: Software Development by Refinement. - 2 B : Towards Zero Defect Software. - 3 The Use of B to Specify Design and Verify Hardware. - 4 A System for Predictable Component-Based Software Construction. - 5 Autonomous Decentralized Systems. - II Case Study. - 6 Bay Area Rapid Transit System Case Study. - 7 Using SCR to Specify the BART Requirements. - 8 A Domain Language for a Class of Reactive Systems. - 9 Refinement-based Derivation of Train Controllers. - III Verification and Validation. - 10 Validation of a Relational Program. - 11 Verification of a Controller for BART. - 12 Using Virtual Reality to Validate System Models. Language: English
  • Marca: Unbranded
  • Categoría: Informática e Internet
  • Idioma: English
  • Número de páginas: 325
  • Fecha de publicación: 2012/11/01
  • Artista: Victor L. Winter
  • Editor / Marca: Springer
  • Formato: Paperback
  • Nº de Fruugo : 340077228-746008016
  • ISBN: 9781461355304

Entrega y devolución

Enviado en un plazo de 6 días

  • STANDARD: 5,49 € - Entrega entre mié 07 enero 2026–lun 12 enero 2026

Envío desde Reino Unido.

Hacemos todo lo posible para asegurarnos de que se le entreguen los productos que pida en su totalidad y de acuerdo con sus especificaciones. Sin embargo, si recibe un pedido incompleto o artículos diferentes a los que pidió, o hay alguna otra razón por la que no está satisfecho con el pedido, puede devolver el mismo o cualquier producto incluido en él y obtener un reembolso completo por los artículos. Vea la política de devolución completa