Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Gespeichert in:
Hauptverfasser:
Duan, Zhenhua (HerausgeberIn), Ong, Luke (HerausgeberIn)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Cham Springer International Publishing Imprint: Springer 2017
Umfang:
1 Online-Ressource (XVII, 498 p. 134 illus)
text file PDF
Schriftenreihe:
Lecture Notes in Computer Science
ISBN:
9783319686905
ISSN:
0302-9743
Schlagworte:
Computer science
Computer communication systems
Computer programming
Software engineering
Programming languages (Electronic computers)
Computer logic
Mathematical logic
Bezugswerke:
Links: