Formal Methods for Model-Driven Engineering: 12th International School on Formal Health for the Design of Computer, Communication and Software ... / Programming and Software Engineering)
by
ISBN 13: 9783642309816
Format: Paperback (439 pages) Publisher: Springer Published: 14 Jun 2012
Save for later