Formal Methods for Discrete-Time Dynamical Systems

cover

@Book{            book:1635417,
  Author        = "Calin Belta and Boyan Yordanov and Gol, Ebru Aydin",
  date-added    = "2021-05-17 16:19:40 +0200",
  date-modified = "2021-05-17 16:19:40 +0200",
  ISBN          = "978-3-319-50763-7",
  Publisher     = "Springer",
  Title         = "Formal Methods for Discrete-Time Dynamical Systems",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=4912704e179eddf1ce01a8ee15025d89",
  Year          = "2017",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=4912704e179eddf1ce01a8ee15025d89",
  File          = "Formal Methods for Discrete-Time Dynamical Systems by Calin Belta, Boyan Yordanov , Ebru Aydin Gol (z-lib.org) - o.pdf"
}

@Book{ book:1635417, Author = "Calin Belta and Boyan Yordanov and Gol, Ebru Aydin", date-added = "2021-05-17 16:19:40 +0200", date-modified = "2021-05-17 16:19:40 +0200", ISBN = "978-3-319-50763-7", Publisher = "Springer", Title = "Formal Methods for Discrete-Time Dynamical Systems", URL = "http://gen.lib.rus.ec/book/index.php?md5=4912704e179eddf1ce01a8ee15025d89", Year = "2017", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=4912704e179eddf1ce01a8ee15025d89", File = "Formal Methods for Discrete-Time Dynamical Systems by Calin Belta, Boyan Yordanov , Ebru Aydin Gol (z-lib.org) - o.pdf" }