Willkommen, schön sind Sie da!
Logo Ex Libris

Formal Methods for Dynamical Systems

  • E-Book (pdf)
  • 181 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Met... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hiererhalten Sie Ihren Download-Link.
CHF 54.50
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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; information theory; systems biology; hybrid systems; quantum computing; and automata-based models and model checking.



Inhalt

Chaotic dynamics.- Information theory.- Systems biology.- Hybrid systems.- Quantum computing.- Automata-based models and model checking.

Produktinformationen

Titel: Formal Methods for Dynamical Systems
Untertitel: 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
Editor:
EAN: 9783642388743
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Veröffentlichung: 12.06.2013
Digitaler Kopierschutz: Wasserzeichen
Dateigrösse: 6.18 MB
Anzahl Seiten: 181

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"