Del 8332
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
Del 10610 i serien Lecture Notes in Computer Science
560 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008
Giorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri, Luke Ong
Inbunden
1 619 kr
Del 10189
Structured Object-Oriented Formal Language and Method
Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya
Häftad
560 kr
Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky
Bob Coecke, Luke Ong, Prakash Panangaden
Häftad
544 kr
Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008
Giorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri, Luke Ong
Häftad
1 619 kr
