Produkt mají v nabídce:
Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013.
This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013.