Cyrille Artho
Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers - Communications in Computer and Information Science Cyrille Artho 2015 edition

Name: Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers - Communications in Computer and Information Science
Price: 6919 ISK
Availability: OutOfStock
Author: Cyrille Artho

Price

Íkr 6,919

excl. VAT

Ordered from remote warehouse

Expected delivery Jul 22 - 30

Get notified about new Cyrille Artho releases

Our customers say:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

Not rated yet

Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers - Communications in Computer and Information Science

Cyrille Artho

2015 edition

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 papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.

257 pages, 86 black & white illustrations, biography

Media	Books Paperback Book (Book with soft cover and glued back)
Released	April 23, 2015
ISBN13	9783319175805
Publishers	Springer International Publishing AG
Pages	257
Dimensions	155 × 235 × 14 mm · 381 g
Language	German
Editor	Artho, Cyrille
Editor	OElveczky, Peter Csaba