Formal Methods for Dynamical Systems: 13th

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