Formal Methods for Dynamical Systems Image close
Formal Methods for Dynamical Systems
Formal Methods for Dynamical Systems
Show Hide Adult Content
Formal Methods for Dynamical Systems close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming  
Software engineering

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
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$124.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $31.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 4-14 June using International Courier

Explore more Programming and Software Engineering

See all products in this series

Analytical and Stochastic Modelling Techniques and Applications
$135.99
Analytical and Stochastic Modelling Techniques and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Tests and Proofs
$136.99
Tests and Proofs
Paperback / softback
Available - Usually ships in 3-4 weeks
Programming Languages and Systems Save $27
$138.99
$166.95
Programming Languages and Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Component-Based Software Engineering Save $15
$135.99
$151.95
Component-Based Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Model Driven Architecture - Foundations and Applications Save $14
$137.99
$152.95
Model Driven Architecture - Foundations and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Service-Oriented Computing Save $66
$147.99
$214.95
Service-Oriented Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Safety, Reliability, and Security Save $62
$140.99
$203.95
Computer Safety, Reliability, and Security
Paperback / softback
Available - Usually ships in 3-4 weeks
Search-Based Software Engineering
$136.99
Search-Based Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Search Based Software Engineering
$137.99
Search Based Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Requirements Engineering: Foundation for Software Quality
$137.99
Requirements Engineering: Foundation for Software Quality
Paperback / softback
Available - Usually ships in 3-4 weeks
Reversible Computation Save $21
$136.99
$158.95
Reversible Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Intelligent Tutoring Systems
$277.99
Intelligent Tutoring Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Modeling: Actors; Open Systems, Biological Systems Save $17
$140.99
$158.95
Formal Modeling: Actors; Open Systems, Biological Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Generative and Transformational Techniques in Software Engineering III Save $51
$142.99
$194.95
Generative and Transformational Techniques in Software Engineering III
Paperback / softback
Available - Usually ships in 3-4 weeks
Model Driven Engineering Languages and Systems Save $66
$148.99
$215.95
Model Driven Engineering Languages and Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Reversible Computation
$124.99
Reversible Computation
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date Australia
June 7th, 2013
Audience
  • Professional & Vocational
Contributors
  • Edited by Alessandra Di Pierro
  • Edited by Erik De Vink
  • Edited by Herbert Wiklicky
  • Edited by Marco Bernardo
Illustrations
49 Illustrations, black and white; VIII, 181 p. 49 illus.
Pages
181
Dimensions
156x234x10
ISBN-13
9783642388736
Product ID
21407936

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Social & Legal Aspects >
Human-computer interaction
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Human-computer interaction >
User interface design & usability