Formal Methods and Software Engineering
BOK (Häftad)
- Springer International Publishing AG
- 2017-10-14
- Engelska
The conference focuses on all areas related to formal engineering methods, such as veri?cation and validation, software engineering, formal speci?cation and modeling, software security, and software reliability.
| Serie: | |
| Undertitel: | 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings Lecture Notes in Computer Science |
| Redaktör: | Duan, Zhenhua, Ong, Luke |
| Upplaga: | 1st ed. 2017 |
| Höjd: | 235 mm |
| Bredd: | 155 mm |
| Omfång: | 498 s. |
| Övrig information: | Switzerland, Springer International Publishing AG |
Utrustad
(5-8 dgr)
Logga in för att se ditt pris
st
Outrustad
(5-8 dgr)
Pris: 653:-
Ditt pris: 653:-
st