Name: Formal Techniques for Safety-Critical Systems: 6th International Workshop, Ftscs 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Pape (en Inglés)
Price: 176.63 PEN
Availability: InStock
Author: Artho, Cyrille ; Ölveczky, Peter Csaba
ISBN: 9783030129873

portada Formal Techniques for Safety-Critical Systems: 6th International Workshop, Ftscs 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Pape (en Inglés)

Formal Techniques for Safety-Critical Systems: 6th International Workshop, Ftscs 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Pape (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Artho, Cyrille ; Ölveczky, Peter Csaba

Idioma

Inglés

N° páginas

179

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 1.0 cm

Peso

0.28 kg.

ISBN13

9783030129873

Categorías

Algoritmos y estructuras de datos
Lenguajes de programación y extensión/scripting: general

Formal Techniques for Safety-Critical Systems: 6th International Workshop, Ftscs 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Pape (en Inglés)

Artho, Cyrille ; Ölveczky, Peter Csaba (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 12 a 17 días háb.

S/ 392,50S/ 176,63

-55%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

S/ 176,63

Llega entre el 18 Ago y el 26 Ago a CERCADO DE LIMA, Lima. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Formal Techniques for Safety-Critical Systems: 6th International Workshop, Ftscs 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Pape (en Inglés)"

This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018.The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on analysis and verification of Safety-Critical Systems; analysis of timed systems; semantics and analysis methods, and model transformation.