Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Formal Techniques for Safety-Critical Systems

Name: Formal Techniques for Safety-Critical Systems
Brand: Springer, Berlin
SKU: 28349811
Price: 284.54 RON
Availability: InStock
Author: Osman Hasan
ISBN: 9783030469016

7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers

Osman Hasan

Frédéric Mallet

Limba

engleză

Carte Carte broșată

Codul Libristo: 28349811

Editura Springer, Berlin, noiembrie 2019

This book constitutes the refereed proceedings of the 7th International Workshop on Formal Technique... Descrierea completă

Codul Libristo: 28349811

132 b

284.54 lei

În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

A magyar hadiipar története Dombrády Lóránd; Germuska Pál; Kovács Gézapéter; Kovács Vilmos

Copertă tare

80.18 lei

Russie David Teurtrie

Carte broșată

73.02 lei

Respire... Et découvre qui tu es ! Von Bargen

Carte

124.68 lei

Catalogue d'Objets d'Art Et d'Ameublement de la Collection de M. B. Charles Mannheim

Carte broșată

79.97 lei

Économie-Gestion 2de Bac Pro (2019) - Pochette élève VAZIA

Carte broșată

124.68 lei

Someday My Prince Will Come Hank Mobley Audio

Audio CD

128.11 lei

Fiedel-Max - Schule 4 Andrea Holzer-Rhomberg

Foaie

79.24 lei

This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019. The 6 revised full papers presented were carefully reviewed and selected from 17 submissions. Additionally, the volume presents 1 invited paper, 1 tool paper, and 1 work in progrerss. The papers are focused on the topics of the use of formal methods for analyzing safety-critical systems; methods, techniques and tools to support automated analysis, certication, debugging, etc., of complex safety/QoS-critical systems; analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.); formal analysis support for modeling languages used in industry; code generation from validated models.