- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
€ 99,00
+ 198 punten
Omschrijving
Informatique et Systèmes d'Information
Les techniques formelles réalisent des modèles de spécifications et/ou de conception servant à l'analyse statique de code, à la démonstration du respect de propriété, à la bonne gestion des calculs sur les flottants, etc.
Dès la première introduction des logiciels au sein d'un équipement, la RATP a mis en oeuvre les techniques formelles afin de démontrer que des impératifs de sécurité sont respectés par le logiciel.
Cet ouvrage présente des exemples concrets de mise en oeuvre des techniques (simulation, model-checking, preuve) et des méthodes formelles (méthode B, SCADE) sur des projets de transport ferroviaire de type métro et grande-ligne (ligne classique, TGV, ERTMS ou fret).
Specificaties
Betrokkenen
- Auteur(s):
- Uitgeverij:
Inhoud
- Aantal bladzijden:
- 351
- Taal:
- Frans
Eigenschappen
- Productcode (EAN):
- 9782746232303
- Verschijningsdatum:
- 25/09/2011
- Uitvoering:
- Paperback
- Afmetingen:
- 160 mm x 240 mm
- Gewicht:
- 650 g
Alleen bij Standaard Boekhandel
+ 198 punten op je klantenkaart van Standaard Boekhandel
E-BOOK ACTIE
Beoordelingen
We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.