An edition of Formal Methods for Dynamical Systems (2013)

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

by

Cover of: Formal Methods for Dynamical Systems by Marco Bernardo, Marco Bernardo
Locate

My Reading Lists:

Create a new list
Notes
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
March 28, 2025 | History
Edit
An edition of Formal Methods for Dynamical Systems (2013)

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

by

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.

Publish Date
Publisher
Springer Berlin Heidelberg, Imprint: Springer
Language
English
Pages
181

Check nearby libraries

Buy this book

Subjects

Logic design, Computational Biology/Bioinformatics, Computation by Abstract Devices, Computer science, Software engineering, Bioinformatics, Logics and Meanings of Programs
Edition Availability
Cover of: Formal Methods for Dynamical Systems
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
2013, Springer Berlin Heidelberg, Imprint: Springer
electronic resource : in English
Cover of: Formal Methods for Dynamical Systems
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
Jun 09, 2013, Springer
paperback

Add another edition?

Book Details

Table of Contents

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

Edition Notes

Published in
Berlin, Heidelberg
Series
Lecture Notes in Computer Science -- 7938

Classifications

Dewey Decimal Class
005.1
Library of Congress
QA76.758

The Physical Object

Format
[electronic resource] :
Pagination
VIII, 181 p. 49 illus.
Number of pages
181

Edition Identifiers

Open Library
OL27039466M
ISBN 13
9783642388743

Work Identifiers

Work ID
OL19850835W

Source records

Internet Archive item record
Better World Books record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
March 28, 2025 Edited by ImportBot Redacting ocaids
February 27, 2022 Edited by ImportBot import existing book
June 30, 2019 Created by MARC Bot Imported from Internet Archive item record