Formal Techniques for Safety-Critical Systems

Name: Formal Techniques for Safety-Critical Systems
Brand: Springer International Publishing AG
SKU: 9783319175805
Price: 19330 HUF
Availability: InStock

Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

Szerző: Cyrille Artho, Peter Csaba Ölveczky

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer International Publishing AG

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 330 Ft

This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniq...

Információk a könyvről

Szerző

Cyrille Artho, Peter Csaba Ölveczky

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2015

oldal

257

EAN

9783319175805

ISBN

3319175807

Enbook ID

09249874

Kiadó

Springer International Publishing AG

Súly

4102

Méretek

155 x 235 x 14

Teljes leírás

This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Formal Techniques for Safety-Critical Systems

Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták