Книга Formal Methods and Software Engineering Kazuhiro Ogata

Formal Methods and Software Engineering

18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Език: Английски език
Корици: С меки корици
Наличност: Външен склад
Изпращаме след 5-8 дни
52.84 103.34 лв
This book constitutes the refereed proceedings of the 18th International Conference on Formal Engine...

Информация за книгата

Език
Английски език
Корици
Книга - С меки корици
Издадена
2016
страници
486
EAN
9783319478456
ISBN
3319478451
Enbook ID
14277723
Теглоt
381
Размери
150 x 210 x 22

Пълно описание

This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as veri cation and validation, software engineering, formal speci cation and modeling, software security, and software reliability.

Може също да ви хареса

158.03 309.07 лв
17.27 33.79 лв
18.78 36.73 лв
46.51 90.97 лв
28.48 55.70 лв
12.30 24.06 лв
29.83 58.35 лв
15.06 29.46 лв

Object Lessons

Anna Quindlen
15.87 31.04 лв
23.81 46.56 лв

Клиенти, които купиха тази книга, купиха също

El farallón

Sabas Martín
18.48 36.14 лв

Caliente !

Delannoy
32.04 62.67 лв
23.15 45.28 лв