Foundations of Software Science and Computation Structures
Subtitle: 17th International Conference, FOSSACS 2014, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Publisher: Springer Berlin / Heidelberg
Published: 2014
Language: eng
Number of pages: 457
ISBN-13: 9783642548291
Subjects: System analysis