Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Kurv
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
Engelsk Paperback
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
Engelsk Paperback

431 kr
Tilføj til kurv
Sikker betaling
6 - 8 hverdage

Om denne bog
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.
Product detaljer
Sprog:
Engelsk
Sider:
181
ISBN-13:
9783642388736
Indbinding:
Paperback
Udgave:
ISBN-10:
3642388736
Udg. Dato:
7 jun 2013
Længde:
0mm
Bredde:
155mm
Højde:
235mm
Forlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Oplagsdato:
7 jun 2013
Forfatter(e):
Kategori sammenhænge