De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Formal Methods for Dynamical Systems

Formal Methods for Dynamical Systems

- 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

indgår i Programming and Software Engineering serien

indgår i Lecture Notes in Computer Science serien

Formal Methods for Dynamical Systems
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.
  • 10. december 2024
På lager

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

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



Andre købte også..
Find lignende bøger
Bogen Formal Methods for Dynamical Systems findes i følgende kategorier: