High Integrity Software

1.299,00 DKK
+ 72,49 DKK Levering
  • product image

High Integrity Software

  • Brand: Unbranded
Sоlgt af:

High Integrity Software

  • Brand: Unbranded

1.299,00 DKK

På lager
+ 72,49 DKK Levering

14-dages returpolitik

Sоlgt af:

1.299,00 DKK

På lager
+ 72,49 DKK Levering

14-dages returpolitik

Betalingsmetoder:

Beskrivelse

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
  • Brand: Unbranded
  • Kategori: Computer og internet
  • Format: Paperback
  • Forlag / Pladeselskab: Springer
  • Udgivelsesdato: 2012/11/01
  • Kunstner: Victor L. Winter
  • Sprog: English
  • Antal sider: 325
  • Fruugo ID: 340077228-746008016
  • ISBN: 9781461355304

Levering og returnering

Sendt inden for 6 dage

  • STANDARD: 72,49 DKK - Levering mellem kl ons. 07 januar 2026–man. 12 januar 2026

Afsendes fra Storbritannien.

Vi gør vores bedste for at sikre, at de produkter, du bestiller, leveres til dig fuldt ud og i henhold til dine specifikationer. Skulle du dog modtage en ufuldstændig ordre eller andre ting end dem, du bestilte, eller der er en anden grund til, at du ikke er tilfreds med ordren, kan du returnere ordren eller produkter inkluderet i ordren og modtage en fuld refusion for varerne. Se fuld returpolitik