High Integrity Software

189,00 €
+ 6,99 € Doručenie
  • product image

High Integrity Software

  • Značka: Unbranded
Predáva:

High Integrity Software

  • Značka: Unbranded

189,00 €

Na sklade
+ 6,99 € Doručenie

Politika vrátenia 14 dní

Predáva:

189,00 €

Na sklade
+ 6,99 € Doručenie

Politika vrátenia 14 dní

Spôsoby platby:

Popis

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
  • Značka: Unbranded
  • Kategória: Počítače a internet
  • Počet strán: 325
  • Formátovať: Paperback
  • Jazyk: English
  • Umelec: Winter Victor L
  • Dátum vydania: 2012/11/01
  • Vydavateľ / štítok: Springer Us
  • Fruugo ID: 340077228-746008016
  • ISBN: 9781461355304

Dodanie a vrátenie

Odoslané do 4 dní

  • STANDARD: 6,99 € - Doručenie medzi po 06 apríla 2026–št 09 apríla 2026

Doručenie od Spojené kráľovstvo.

Snažíme sa, aby sme výrobky, ktoré si objednáte, doručili celkom v súlade s vašou špecifikáciou. Ak by ste však dostali neúplnú objednávku alebo iný tovar ako ten, ktorý ste si objednali, alebo existuje nejaký iný dôvod, prečo nie ste s objednávkou spokojní, môžete objednávku alebo niektoré produkty z nej vrátiť a za tovar dostať plnú náhradu. Pozrite si všetky pravidlá vrátenia