# | Title | Author | Extension | Publisher | Size(Bytes) | Language | Year | Category | Download | |||||
1. | Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures | Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (eds.) | Springer International Publishing | 11315300 | English | 2014 | Lecture Notes in Computer Science 8483 : Programming and Software Engineering | [Download] | ||||||
<<<<<<<The Best Download Tool | ||||||
Publisher: | Springer | Polity Press | Wiley | Brikhauser | Thomson/Schirmer | Dover Pubns |
Author: | M. Jensen | Henrici | Lomax, Pulliam | SCI | SCI |