High Integrity Software

724,00 zł
+ 29,99 zł wysyłka

High Integrity Software

  • Marka: Unbranded
Sprzedawca:

High Integrity Software

  • Marka: Unbranded

724,00 zł

W magazynie
+ 29,99 zł wysyłka

Polityka zwrotów w ciągu 14 dni

Sprzedawca:

724,00 zł

W magazynie
+ 29,99 zł wysyłka

Polityka zwrotów w ciągu 14 dni

Metody płatności:

Opis

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
  • Marka: Unbranded
  • Kategoria: Komputery i Internet
  • Data wydania: 2012/11/01
  • Format: Paperback
  • Język: English
  • Wydawca / Wytwórnia płytowa: Springer
  • Ilość stron: 325
  • Wykonawca: Victor L. Winter
  • Identyfikator Fruugo: 340077228-746008016
  • ISBN: 9781461355304

Dostawa i zwroty

Wysyłka w ciągu 6 dni

  • STANDARD: 29,99 zł - Dostawa między śr. 07 stycznia 2026–pon. 12 stycznia 2026

Wysyłka z Wielka Brytania

Dokładamy wszelkich starań, aby zamówione produkty były dostarczane w całości i zgodnie z Państwa wymaganiami. Jeśli jednak otrzymają Państwo niekompletne zamówienie, przedmioty inne niż zamówione lub istnieje inny powód, dla którego nie są Państwo zadowoleni z zamówienia, mogą Państwo zwrócić zamówienie lub dowolne produkty objęte zamówieniem i otrzymać pełny zwrot kosztów za te przedmioty. Pokaż pełną politykę zwrotów