Formal Modeling and Analysis of Timed Systems: 17th International Conference, Formats 2019, Amsterdam, the Netherlands, August 27-29, 2019, Proceeding

ISBN 10: 303029661X ISBN 13: 9783030296612

Published by Springer, 2019

Language: English

Used Condition: Very Good Soft cover

Save for Later

From ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.

Seller rating 5 out of 5 stars

AbeBooks Seller since 24 March 2009

View this seller's items

View all copies of this book

Used - Soft cover

Price: � 19.78 Convert Currency

� 6.66 shipping from U.S.A. to United Kingdom Destination, rates & speeds

Quantity: 1 available

Add to basket

Save for Later

About this Item

May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 0.99. Seller Inventory # G303029661XI4N00

Contact seller

Report this item

Bibliographic Details

Title: Formal Modeling and Analysis of Timed ...

Publisher: Springer

Publication Date: 2019

Binding: Paperback

Condition: Very Good

Dust Jacket Condition: No Jacket

About this title

Synopsis:

This book constitutes the refereed proceedings of the 17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019, held in Amsterdam, The Netherlands, in August 2019.

The 15 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers are organized in the following topical sections: special session on data-driven and stochastic approaches to real-time, including monitoring and Big Data; timed systems; linear and non-linear systems; timed automata; special session on timed systems and probabilities.

"About this title" may belong to another edition of this title.

Store Description

ThriftBooks is a fully independent seller of used books, having sold more than 160 million used and new books since we started in 2003. Each quality used book is sorted, graded, shelved and shipped by hand by our team of dedicated employees in our seven warehouses across the US. We have the best selection of books, in the right condition and format, at everyday low prices. We also have a dedicated, US-based Customer Service team, ranked in the top three by Newsweek for Best Customer Service in 2018 and 2019, so you can shop with confidence. We support and invest in our employees, appreciate and value our customers, and truly believe in the power of the written word to educate, energize, and engage readers of all ages and interests.

Visit Seller's Storefront

Seller's business information

Thrift Books Global, LLC
18300 Cascade Ave S, Ste 150, Seattle, WA, 98188, U.S.A.

Terms of Sale:

We guarantee the condition of every book as it's described
on the Abebooks website. If you're dissatisfied with your
purchase (Incorrect Book/Not as Described/Damaged) or if the
order hasn't arrived, you're eligible for a refund within 30
days of the estimated delivery date. If you've changed your
mind about a book that you've ordered, please use the "Ask
bookseller a question link to contact us" and we'll respond
as soon as possible.

Shipping Terms:

All domestic Standard and Expedited shipments are distributed from our warehouses by OSM, then handed off to the USPS for final delivery.

2-Day Shipping is delivered by FedEx, which does not deliver to PO boxes.

International shipments are tendered to the local postal service in the destination country for final delivery – we do not use courier services for international deliveries.

Payment Methods
accepted by seller

Add to Wants

Items related to Formal Modeling and Analysis of Timed Systems: 17th...

Formal Modeling and Analysis of Timed Systems: 17th International Conference, Formats 2019, Amsterdam, the Netherlands, August 27-29, 2019, Proceeding

Used - Soft cover

Seller's business information