Udvidet returret til d. 31. januar 2025

Formal Methods for Dynamical Systems - Bog

- 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Bag om Formal Methods for Dynamical Systems

This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2013, held in Bertinoro, Italy, in June 2013. SFM 2013 was devoted to dynamical systems and covered several topics including chaotic dynamics;

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783642388736
  • Indbinding:
  • Paperback
  • Sideantal:
  • 181
  • Udgivet:
  • 7. juni 2013
  • Udgave:
  • 2013
  • Størrelse:
  • 155x235x10 mm.
  • Vægt:
  • 454 g.
  • 8-11 hverdage.
  • 2. december 2024
På lager

Normalpris

  • BLACK NOVEMBER

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af Formal Methods for Dynamical Systems

This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2013, held in Bertinoro, Italy, in June 2013. SFM 2013 was devoted to dynamical systems and covered several topics including chaotic dynamics;

Brugerbedømmelser af Formal Methods for Dynamical Systems



Find lignende bøger
Bogen Formal Methods for Dynamical Systems findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.