Overview
Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm
- | Author: Marco Bernardo
- | Publisher: Springer
- | Publication Date: Jun 07, 2013
- | Number of Pages: 181 pages
- | Binding: Paperback or Softback
- | ISBN-10: 3642388736
- | ISBN-13: 9783642388736