High Integrity Software

1 999,00 kr
+ 98,49 kr Leverans
  • product image

High Integrity Software

  • Märke: Unbranded
Säljs av:

High Integrity Software

  • Märke: Unbranded

1 999,00 kr

I lager
+ 98,49 kr Leverans

14-dagars returpolicy

Säljs av:

1 999,00 kr

I lager
+ 98,49 kr Leverans

14-dagars returpolicy

Betalningsmetoder:

Beskrivning

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ärke: Unbranded
  • Kategori: Datorer & Internet
  • Artist: Victor L. Winter
  • Format: Paperback
  • Publiceringsdatum: 2012/11/01
  • Sidantal: 325
  • Förläggare / Bolag: Springer
  • Språk: English
  • Fruugo-ID: 340077228-746008016
  • ISBN: 9781461355304

Leverans och returer

Skickas inom 6 dagar

  • STANDARD: 98,49 kr - Leverans mellan kl ons 07 januari 2026–mån 12 januari 2026

Leverans från Storbritannien.

Vi gör vårt bästa för att säkerställa att produkterna du beställer levereras kompletta och enligt dina specifikationer. Om du däremot skulle ta emot en ofullständig beställning, eller andra artiklar än de du beställt, eller om det finns någon annan anledning till att du inte är nöjd med din beställning, kan du returnera beställningen, eller valfria produkter som ingår i beställningen, och få fullständig ersättning för artiklarna. Visa fullständig returpolicy