High Integrity Software

€ 189,00
+ € 6,49 Verzending
  • product image

High Integrity Software

  • Merk: Unbranded
Verkocht door:

High Integrity Software

  • Merk: Unbranded

€ 189,00

Op voorraad
+ € 6,49 Verzending

14-dagen retourbeleid

Verkocht door:

€ 189,00

Op voorraad
+ € 6,49 Verzending

14-dagen retourbeleid

Betaalmethoden:

Beschrijving

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
  • Merk: Unbranded
  • Categorie: Computers & Internet
  • Artiest: Victor L. Winter
  • Uitgever / Label: Springer
  • Formaat: Paperback
  • Aantal pagina's: 325
  • Verschijningsdatum: 2012/11/01
  • Taal: English
  • Fruugo-ID: 340077228-746008016
  • ISBN: 9781461355304

Levering & retouren

Verzonden binnen6 dagen

  • STANDARD: € 6,49 - Levering tussen wo 07 januari 2026–ma 12 januari 2026

Verzending vanaf Verenigd Koninkrijk.

We doen ons best om ervoor te zorgen dat de producten die u bestelt volledig en volgens uw specificaties bij u worden afgeleverd. Mocht u echter een onvolledige bestelling ontvangen of andere artikelen dan degene die u heeft besteld, of als er een andere reden is waarom u niet tevreden bent met de bestelling, dan kunt u de bestelling retourneren, of welk product dan ook die bij de bestelling was inbegrepen, en ontvangt u een volledige terugbetaling voor de artikelen. Bekijk het volledige retourbeleid