High Integrity Software

924,00 RON
+ 32,99 RON Livrare
  • product image

High Integrity Software

  • Marcă: Unbranded
Vândut de:

High Integrity Software

  • Marcă: Unbranded

924,00 RON

În stoc
+ 32,99 RON Livrare

Politica de retur pe 14 zile

Vândut de:

924,00 RON

În stoc
+ 32,99 RON Livrare

Politica de retur pe 14 zile

Metode de plată:

Descriere

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
  • Marcă: Unbranded
  • Categorie: Calcul și internet
  • Artist: Victor L. Winter
  • Limbă: English
  • Număr de pagini: 325
  • Format: Paperback
  • Data publicării: 2012/11/01
  • Editor / Etichetă: Springer
  • ID Fruugo: 340077228-746008016
  • ISBN: 9781461355304

Livrări şi Returnări

Expediat în 6 zile

  • STANDARD: 32,99 RON - Livrare între mie. 07 ianuarie 2026–lun. 12 ianuarie 2026

Livrare de la Regatul Unit.

Facem tot ce ne stă în putinţă să ne asigurăm că produsele comandate de dumneavoastră vă sunt livrate în întregime şi conform specificaţiilor. Cu toate acestea, dacă primiţi o comandă incompletă sau articole diferite de cele comandate, sau aveţi alt motiv pentru care nu sunteţi mulţumit de comandă, puteţi returna comanda sau orice produse incluse în comandă şi primiţi o rambursare completă pentru articole. Vizualizaţi întreaga politică de returnare