69 490,00 Ft
+ 2 099,00 Ft szállítási költség

High Integrity Software

  • Márka: Unbranded
Értékesítő:

High Integrity Software

  • Márka: Unbranded

69 490,00 Ft

Készleten
+ 2 099,00 Ft szállítási költség

14 napos visszaküldési szabályzat

Értékesítő:

69 490,00 Ft

Készleten
+ 2 099,00 Ft szállítási költség

14 napos visszaküldési szabályzat

Fizetési módok:

Leírás

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
  • Márka: Unbranded
  • Kategória: Számítástechnika és internet
  • Művész: Victor L. Winter
  • Lapok száma: 325
  • Nyelv: English
  • Formátum: Paperback
  • Kiadás dátuma: 2012/11/01
  • Kiadó / Címke: Springer
  • Fruugo azonosító: 340077228-746008016
  • ISBN: 9781461355304

Kiszállítás és visszaküldés

Kiküldés 4 napon belül

  • STANDARD: 2 099,00 Ft - közötti szállítás H 02 március 2026–Cs 05 március 2026

Szállítás innen: Egyesült Királyság.

Minden tőlünk telhetőt megteszünk annak biztosítására, hogy rendelését hiánytalanul és előírásainknak megfelelően szállítás ki önnek. Viszont ha egy hiányos rendelést kap, vagy eltér a megrendelttől, vagy bármilyen más okból nem elégedett a rendeléssel, akkor visszaküldheti a rendelést vagy a rendelésben lévő bármely terméket, és visszatérítik a termék árának teljes összegét. Teljes visszaküldési irányelvek megtekintése.