Formal Modeling and Analysis of Timed Systems Image close
Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
Show Hide Adult Content
Formal Modeling and Analysis of Timed Systems close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer science  
Human-computer interaction  
User interface design & usability

Formal Modeling and Analysis of Timed Systems

15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$153.00
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
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $38.25 with Afterpay Learn more

6 weekly interest-free payments of $25.50 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 11-21 June using International Courier

Explore more Theoretical Computer Science and General Issues

See all products in this series

Frontiers of High Performance Computing and Networking - ISPA 2007 Workshops
$303.00
Frontiers of High Performance Computing and Networking - ISPA 2007...
Paperback / softback
Available - Usually ships in 3-4 weeks
Graph Drawing
$156.00
Graph Drawing
Paperback / softback
Available - Usually ships in 3-4 weeks
Hybrid Learning and Education
$158.00
Hybrid Learning and Education
Paperback / softback
Available - Usually ships in 3-4 weeks
Cellular Automata and Discrete Complex Systems
$151.00
Cellular Automata and Discrete Complex Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Hybrid Learning
$155.00
Hybrid Learning
Paperback / softback
Available - Usually ships in 3-4 weeks
Learning and Intelligent Optimization
$162.00
Learning and Intelligent Optimization
Paperback / softback
Available - Usually ships in 3-4 weeks
Models of Strategic Reasoning
$154.00
Models of Strategic Reasoning
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods Teaching
$153.00
Formal Methods Teaching
Paperback / softback
Available - Usually ships in 3-4 weeks
Supercomputing
$160.00
Supercomputing
Paperback / softback
Available - Usually ships in 3-4 weeks
Unconventional Computation
$153.00
Unconventional Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
CONCUR 2008 - Concurrency Theory
$160.00
CONCUR 2008 - Concurrency Theory
Paperback / softback
Available - Usually ships in 3-4 weeks
Verification, Model Checking, and Abstract Interpretation
$156.00
Verification, Model Checking, and Abstract Interpretation
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Neural Networks – ISNN 2020
$153.00
Advances in Neural Networks – ISNN 2020
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Science and Its Applications – ICCSA 2021
$295.00
Computational Science and Its Applications – ICCSA 2021
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Aided Verification
$158.00
Computer Aided Verification
Paperback / softback
Available - Usually ships in 3-4 weeks
Theorem Proving in Higher Order Logics
$156.00
Theorem Proving in Higher Order Logics
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany,  in September 2017.​  The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems.
Release date NZ
August 3rd, 2017
Contributors
  • Edited by Alessandro Abate
  • Edited by Gilles Geeraerts
Pages
353
Edition
1st ed. 2017
Audience
  • Professional & Vocational
Illustrations
93 Illustrations, black and white; X, 353 p. 93 illus.
ISBN-13
9783319657646
Product ID
26871158

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 science >
Human-computer interaction >
User interface design & usability
Books >
Computers & Internet >
Computer Applications >
Computer modelling & simulation
Books >
Computers & Internet >
Graphical & digital media applications >
3D graphics & modelling
Books >
Computers & Internet >
Computer programming / software development >
Algorithms & data structures
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer programming / software development >
Programming & scripting languages: general
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation