High Integrity Software

189,00 €
ja 8,49 € toimitus
  • product image

High Integrity Software

  • Merkki: Unbranded
Myynyt:

High Integrity Software

  • Merkki: Unbranded

189,00 €

Varastossa
ja 8,49 € toimitus

14 päivän palautuskäytäntö

Myynyt:

189,00 €

Varastossa
ja 8,49 € toimitus

14 päivän palautuskäytäntö

Maksutavat:

Kuvaus

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
  • Merkki: Unbranded
  • Kategoria: Tietokoneet ja internet
  • Formaatti: Paperback
  • Artisti: Victor L. Winter
  • Julkaisuaika: 2012/11/01
  • Kustantaja / Levy-yhtiö: Springer
  • Kieli: English
  • Sivumäärä: 325
  • Fruugo ID: 340077228-746008016
  • ISBN: 9781461355304

Toimitus ja palautukset

Lähetetään 4 päivän kuluessa

  • STANDARD: 8,49 € - Toimitus välillä ma 09 maaliskuuta 2026–to 12 maaliskuuta 2026

Lähetyspaikka: Iso-Britannia.

Teemme parhaamme varmistaaksemme, että kaikki tilaamasi tuotteet toimitetaan sinulle toiveidesi mukaisesti. Jos sinulle toimitettu tilaus kuitenkin on puutteellinen tai sisältää tilaamattomia tuotteita, tai jos et jostain muusta syystä ole tyytyväinen tilaukseesi, voit palauttaa tilauksen kokonaan tai osittain. Saat tuotteista täyden hyvityksen. Näytä koko palautuskäytäntö