Formal Methods and Software Engineering
19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
Häftad, Engelska, 2017
Av Zhenhua Duan, Luke Ong
729 kr
Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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.
Produktinformation
- Utgivningsdatum2017-10-14
- Mått155 x 235 x 28 mm
- Vikt774 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor498
- FörlagSpringer International Publishing AG
- ISBN9783319686899