Formal Methods for Dynamical Systems
Subtitle: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM ... Italy, June 17-22, 2013. Advanced Lectures
Publisher: Springer
Published: Jun 09, 2013
Format: paperback
Number of pages: 192
ISBN-13: 9783642388750
Notes: Source title: Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM ... Italy, June 17-22, 2013. Advanced Lectures