Deze website maakt gebruik van cookies. Klik hier voor meer informatie.X sluit
Uitgebreid zoeken
Boek

Formal Techniques For Safety-critical Systems

5th International Workshop, Ftscs 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Formal Techniques For Safety-critical Systems - Artho, Cyrille (EDT)/ Olveczky, Peter Csaba (EDT) - ISBN: 9783319539454
Prijs: € 59,60
Levertijd: 4 tot 6 werkdagen
Bindwijze: Boek
Genre: Informatica & management
Boekenliefde.nl:
Add to cart

Beschrijving

This Book Constitutes The Refereed Proceedings Of The 5th International Workshop On Formal Techniques For Safety-critical Systems, Ftscs 2016, Held In Tokyo, Japan, In November 2016. The 9 Revised Full Papers Presented Together With An Abstract Of An Invited Talk Were Carefully Reviewed And Selected From 23 Submissions.

Details

Titel: Formal Techniques For Safety-critical Systems
auteur: Artho, Cyrille (EDT)/ Olveczky, Peter Csaba (EDT)
Mediatype: Boek
Taal: Engels
Aantal pagina's: 161
Uitgever: Springer International Publishing Ag
Plaats van publicatie: CH
NUR: Informatica & management
Afmetingen: 235 x 155
Gewicht: 2759 gr
ISBN/ISBN13: 9783319539454
Intern nummer: 38022913

Inhoudsopgave

Specification and verification.- Automotive and railway systems.- Circuits and cyber-physical systems.- Parametrized verification.

Winkelvoorraad

Dit product is op dit moment niet op voorraad in een van onze vestigingen.