Software Engineering and Formal Methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings /

Software Engineering and Formal Methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings /

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Cimatti, Alessandro. (Editor), Sirjani, Marjan. (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Series:Theoretical Computer Science and General Issues ; 10469
Subjects:
Software engineering.
Programming languages (Electronic computers).
Computer programming.
Computers.
Computer system failures.
Artificial intelligence.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Theory of Computation.
System Performance and Evaluation.
Artificial Intelligence.
Description
Physical Description:XIX, 410 p. 94 illus. : online resource.
ISBN:9783319661971

Similar Items