Formal Methods for Dynamical Systems: 13th Inteational School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM .. / Programming and Software Engineering)
Hardcover: 188 pages
Publisher: Springer (June 7, 2013)
Language: English
ISBN-10: 3642388736