High Integrity Software

189,00 €
+ 8,49 € Αποστολή
  • product image

High Integrity Software

  • Μάρκα: Unbranded
Πωλήθηκε από:

High Integrity Software

  • Μάρκα: Unbranded

189,00 €

Σε απόθεμα
+ 8,49 € Αποστολή

Πολιτική επιστροφών 14 ημερών

Πωλήθηκε από:

189,00 €

Σε απόθεμα
+ 8,49 € Αποστολή

Πολιτική επιστροφών 14 ημερών

Μέθοδοι πληρωμής:

Περιγραφή

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
  • Μάρκα: Unbranded
  • Κατηγορία: Πληροφορική & Διαδίκτυο
  • Művész: Victor L. Winter
  • Nyelv: English
  • Kiadó / Kiadó: Springer
  • Formátum: Paperback
  • Oldalak száma: 325
  • Megjelenés dátuma: 2012/11/01
  • Fruugo ID: 340077228-746008016
  • ISBN: 9781461355304

Παράδοση & Επιστροφές

Αποστέλλεται σε 6 μέρες

  • STANDARD: 8,49 € - Παράδοση μεταξύ Τετ 07 Ιανουαρίου 2026–Δευ 12 Ιανουαρίου 2026

Αποστέλλεται από Ηνωμένο Βασίλειο.

Κάνουμε ό,τι καλύτερο μπορούμε για να εξασφαλίσουμε ότι τα προϊόντα που παραγγέλνετε αποστέλλονται σε εσάς πλήρως και σύμφωνα με τις προδιαγραφές σας. Παρ' όλα αυτά, αν παραλάβετε μία ελλιπή παραγγελία ή προϊόντα διαφορετικά από αυτά που παραγγείλατε ή αν υπάρχει κάποιος άλλος λόγος που δεν είστε ικανοποιημένοι με την παραγγελία, μπορείτε να την επιστρέψετε ολόκληρη ή κάποια προϊόντα από αυτή και να λάβετε πλήρη επιστροφή χρημάτων για τα προϊόντα. Προβολή πλήρους πολιτικής επιστροφών