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

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Formal Methods for Dynamical Systems by Marco Bernardo
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Download Options

Check nearby libraries

Buy this book

Last edited by MARC Bot
June 30, 2019 | 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

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

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

Previews available in: English

Subjects
Logic design, Computational Biology/Bioinformatics, Computation by Abstract Devices, Computer science, Software engineering, Bioinformatics, Logics and Meanings of Programs

Showing 2 featured editions. View all 2 editions?

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
  • Not in Library
Libraries near you: WorldCat
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
Libraries near you: WorldCat

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

ID Numbers

Open Library
OL27039466M
Internet Archive
formalmethodsfor00kpfb
ISBN 13
9783642388743

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
June 30, 2019 Created by MARC Bot import new book