Genere: Libro
Lingua: Inglese
Editore: Springer
Pubblicazione: 06/2013
Edizione: 2013

Formal Methods for Dynamical Systems

Name: Formal Methods for Dynamical Systems
Price: 47,48 € EUR
Availability: InStock
Author: Bernardo Marco (Curatore); de Vink Erik (Curatore); Di Pierro Alessandra (Curatore); Wiklicky Herbert (Curatore)
ISBN: 9783642388736

bernardo marco (curatore); de vink erik (curatore); di pierro alessandra (curatore); wiklicky herbert (curatore)

49,98 €

47,48 €

AGGIUNGI AL CARRELLO

TRAMA

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.

SOMMARIO

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

ALTRE INFORMAZIONI

Condizione: Nuovo
ISBN: 9783642388736
Collana: Lecture Notes in Computer Science
Dimensioni: 235 x 155 mm
Formato: Brossura
Illustration Notes: VIII, 181 p. 49 illus.
Pagine Arabe: 181
Pagine Romane: viii