Kniha Software Engineering and Formal Methods Alessandro Cimatti

Software Engineering and Formal Methods

Jazyk: Angličtina
Väzba: Brožovaná
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
50.14
This book constitutes the refereed proceedings of the 15th International Conference on Software Engi...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2017
Stránok
410
EAN
9783319661964
ISBN
3319661965
Enbook ID
16771879
Hmotnosť
6496
Rozmery
155 x 235 x 25

Kompletný popis

This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017. The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions. The papers deal with a large range of topics in the following research areas: new frontiers in software architecture; software verification and testing; software development methods; application and technology transfer; security and safety; an d design principles.

Mohlo by vás zaujímať

The Wedding People

ESPACH ALISON
20.40
6.17

The Cistern

Lorne Oliver
10.49
13.83
9.41

Vintage Gleanings

James Harington Evans
23.94
15.69

Flash Digest July 2024

Terrie Leigh Relf
7.65
34.83

Backlash

Lynda La Plante
14.22
20.40

Strange Adventures

Elizabeth Anne Sercombe
85.37
17.75

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

41.21

Lange lieben

Claudia Gehrke
10.88
16.77
26.98

L'oeuf et la poule

Antoine Danchin
32.18
28.16

Lolota en París

ANGEL FERNANDEZ FERMOSELLE
10.98