Mohlo by se vám také líbit

Informovat o naskladnění knihy

Více informací o knize Industrial Use of Formal Methods

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 519 bodů

Anotace knihy

At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the "formal technics" (such proof and model-checking) on industrial examples for the transportation domain.§This book is based on the experience of people which are completely involved in the realization and the evaluation of safety critical system software based.§The implication of the industrialists allows to raise the problems of confidentiality which could appear and so allow to supply new useful information (photos, plan of architecture, real example).

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Computer modelling & simulation

• Plný název: Industrial Use of Formal Methods
• Podnázev: Formal Verification
• Autor: Jean-Louis Boulanger
• Jazyk: Angličtina
• Vazba: Pevná
• Počet stran: 314
• EAN: 9781848213630
• ISBN: 1848213638
• ID: 01434090
• Nakladatelství: ISTE Ltd and John Wiley & Sons Inc
• Hmotnost: 618 g
• Rozměry: 239 × 161 × 23 mm
• Datum vydání: 15. June 2012

Oblíbené z jiného soudku

---

---

---