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 / edited by Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky.

Format:

Book

Contributor:

Bernardo, Marco, editor.

Vink, Erik de, editor.

Di Pierro, Alessandra, editor.

Wiklicky, Herbert, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Programming and software engineering ; SL 2, 7938.

Programming and Software Engineering ; 7938

Language:

English

Subjects (All):

Software engineering.

Computer logic.

Bioinformatics.

Computers.

Software Engineering.

Logics and Meanings of Programs.

Computational Biology/Bioinformatics.

Computation by Abstract Devices.

Local Subjects:

Software Engineering.

Logics and Meanings of Programs.

Computational Biology/Bioinformatics.

Computation by Abstract Devices.

Physical Description:

1 online resource (VIII, 181 pages) : 49 illustrations.

Edition:

First edition 2013.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.

System Details:

text file PDF

Summary:

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.

Contents:

Chaotic dynamics

Information theory

Systems biology

Hybrid systems

Quantum computing

Automata-based models and model checking.

Other Format:

Printed edition:

ISBN:

978-3-642-38874-3

9783642388743

Access Restriction:

Restricted for use by site license.