Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software ... Notes in Computer Science (2804), Band 2804)
von:
Marco Bernardo
·
Paola Inverardi
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-20083-3
ISBN-10: 3-540-20083-5
Springer
· 2008
