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

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

Marco Bernardo (Editor)
Aún sin calificaciones
2013 · Inglés · Tapa blanda · 2 ediciones
Añadir a la estantería

Califica este libro

Exportar diario de lectura

Descripción

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

Detalles del libro

Formato Tapa blanda
Páginas 192 páginas
Idioma Inglés
Publicado Jun 9, 2013
Editorial Springer
Ediciones 2 ediciones
ISBN-10 3642388752
ISBN-13 9783642388750
Añadir a la estantería

Califica este libro

Exportar diario de lectura