Tiziana Margaria - Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA ... Notes in Computer Science, Band 8803)

Brand : Springer, Binding : Taschenbuch, Edition : 2014, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 664, publicationDate : 2014-10-07, releaseDate : 2014-10-07, publishers : Tiziana Margaria, Bernhard Steffen, ISBN : 3662452308 ...