Książka Software Engineering and Formal Methods George Eleftherakis

Software Engineering and Formal Methods

10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Język: Angielski
Oprawa: Miękka
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
213.28
This book constitutes the refereed proceedings of the 10th International Conference on Software Engi...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2012
strony
384
EAN
9783642338250
ISBN
3642338259
Enbook ID
01662280
Waga
611
Wymiary
155 x 235 x 22

Pełny opis

This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from 98 full submissions. The SEFM conference aspires to advance the state-of-the-art in formal methods, to enhance their scalability and usability with regards to their application in the software industry and to promote their integration with practical engineering methods.

Możesz być zainteresowany

Brochs of Scotland

J. N. Graham Ritchie
39.58

Lincoln

Lincoln Historical Society
86.11
416.02
61.09
42.61

Klienci, którzy kupili tę książkę, kupili również

73.69

Schachmatt!

Garri Kasparow
52.68
74.77
104.58