Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and ... Notes in Computer Science, Band 6659)
von:
Marco Bernardo
·
Valerie Issarny
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-21454-7
ISBN-10: 3-642-21454-1
Springer
· 2011
