Critical Systems: Formal Methods and Automated Verification de Laure Petrucci

Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings: Lecture Notes in Computer Science, cartea 10471

Laure Petrucci

Cristina Seceleanu

Ana Cavalcanti

en Limba Engleză Paperback – 25 aug 2017

This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017.
The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. They are organized in the following sections: Automated verification techniques; Testing and scheduling; Formal Methods for mobile and autonomous robots; and Modeling and analysis techniques.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

15%

Preț: 558^.12 lei
20%

Preț: 573^.45 lei
20%

Preț: 330^.54 lei
20%

Preț: 620^.33 lei
20%

Preț: 400^.77 lei
20%

Preț: 1033^.45 lei
20%

Preț: 629^.71 lei
20%

Preț: 328^.94 lei
20%

Preț: 375^.72 lei
20%

Preț: 568^.70 lei
20%

Preț: 1359^.66 lei
20%

Preț: 489^.11 lei
20%

Preț: 560^.93 lei
20%

Preț: 731^.97 lei
20%

Preț: 563^.29 lei
20%

Preț: 403^.00 lei
20%

Preț: 782^.57 lei
20%

Preț: 336^.86 lei
20%

Preț: 560^.93 lei
20%

Preț: 850^.42 lei
20%

Preț: 432^.78 lei
20%

Preț: 342^.61 lei
20%

Preț: 631^.96 lei
20%

Preț: 904^.16 lei
20%

Preț: 1391^.87 lei
20%

Preț: 487^.46 lei
20%

Preț: 400^.17 lei
20%

Preț: 984^.64 lei
20%

Preț: 556^.96 lei
20%

Preț: 733^.68 lei
20%

Preț: 1020^.28 lei
20%

Preț: 793^.92 lei
20%

Preț: 733^.68 lei
20%

Preț: 1137^.10 lei
20%

Preț: 679^.09 lei
20%

Preț: 558^.53 lei
20%

Preț: 327^.36 lei
20%

Preț: 340^.04 lei
20%

Preț: 327^.36 lei
20%

Preț: 560^.93 lei
20%

Preț: 324^.19 lei
20%

Preț: 1079^.23 lei
20%

Preț: 735^.28 lei
20%

Preț: 373^.80 lei
Preț: 395^.25 lei
20%

Preț: 488^.90 lei
20%

Preț: 293^.24 lei

Specificații

ISBN-13: 9783319671123
ISBN-10: 331967112X
Pagini: 235
Ilustrații: XIV, 235 p. 52 illus.
Dimensiuni: 155 x 235 mm
Greutate: 0.36 kg
Ediția:1st ed. 2017
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Cham, Switzerland