Free shipping on all orders over $79* Limited Time Only

My Wish Lists Login / Join

Formal Modeling and Analysis of Timed Systems : 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings - Etienne Andre

Formal Modeling and Analysis of Timed Systems

17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings

By: Etienne Andre (Editor), Marielle Stoelinga (Editor)

Paperback | 13 August 2019

At a Glance

Paperback
320 Pages

Dimensions(cm)
23.5 x 15.49 x 1.7

Paperback

$84.99

or 4 interest-free payments of $21.25 with

or

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Algorithms & Data Structures Software Engineering Mathematics Mathematical Foundation Mathematical Logic Graphical & Digital Media Applications 3D Graphics & Modelling Computer Science Artificial Intelligence

Expert Systems & Knowledge-Based Systems Mathematical Theory of Computation

More in Algorithms & Data Structures

Deep Learning Crash Course - Benjamin Midtvedt

Deep Learning Crash Course

Paperback

$92.99

Heuristic Algorithms Design : A Methodological Approach - Joe Oswald

Heuristic Algorithms Design

A Methodological Approach

Hardcover

$461.75

The Man Who Solved the Market : How Jim Simons Launched the Quant Revolution SHORTLISTED FOR THE FT & MCKINSEY BUSINESS BOOK OF THE YEAR AWARD 2019 - Gregory Zuckerman

The Man Who Solved the Market

How Jim Simons Launched the Quant Revolution SHORTLISTED FOR THE FT & MCKINSEY BUSINESS BOOK OF THE YEAR AWARD 2019

Paperback

RRP $26.99

$22.99

15%
OFF

Artificial Intelligence Programming with Python : From Zero to Hero - Perry Xiao

Artificial Intelligence Programming with Python

From Zero to Hero

Paperback

RRP $65.95

$49.75

25%
OFF

Introduction to Machine Learning with Python : A Guide for Data Scientists - Andreas C. Mueller

Introduction to Machine Learning with Python

A Guide for Data Scientists

Paperback

RRP $114.00

$55.75

51%
OFF

Code Dependent : Living in the Shadow of AI - Madhumita Murgia

Code Dependent

Living in the Shadow of AI

Paperback

RRP $24.99

$21.75

13%
OFF

Addiction by Design : Machine Gambling in Las Vegas - Natasha Dow Schull

Addiction by Design

Machine Gambling in Las Vegas

Paperback

RRP $39.99

$33.75

16%
OFF

Python for Algorithmic Trading : From Idea to Cloud Deployment - Yves Hilpisch

Python for Algorithmic Trading

From Idea to Cloud Deployment

Paperback

RRP $152.00

$73.75

51%
OFF

Learning Spark : Lightning-Fast Data Analytics - Brooke Wenig

Learning Spark

Lightning-Fast Data Analytics

Paperback

RRP $152.00

$73.75

51%
OFF

Code Dependent : Living in the Shadow of AI - Shortlisted for the Women's Prize for Non-Fiction - Madhumita Murgia

Code Dependent

Living in the Shadow of AI - Shortlisted for the Women's Prize for Non-Fiction

Paperback

RRP $36.99

$28.75

22%
OFF

Bioengineering and IoT : Shaping the Future of Healthcare - Jayashree Katti

Bioengineering and IoT

Shaping the Future of Healthcare

Hardcover

$384.75

BioMed Bots Assurance : Securing Robotics, Healthcare, and IT Convergence - Bhisham Sharma

BioMed Bots Assurance

Securing Robotics, Healthcare, and IT Convergence

Hardcover

$491.75

Ethics and Governance of Artificial Intelligence : Frameworks, Risks, and Society - Hemachandran K

Ethics and Governance of Artificial Intelligence

Frameworks, Risks, and Society

Paperback

RRP $210.00

$184.75

12%
OFF

Ethics and Governance of Artificial Intelligence : Frameworks, Risks, and Society - Hemachandran K

Ethics and Governance of Artificial Intelligence

Frameworks, Risks, and Society

Hardcover

RRP $173.00

$153.99

11%
OFF

Uncertain Data Analysis : Fuzzy Vector Algorithms - Sansanee Auephanwiriyakul

Uncertain Data Analysis

Fuzzy Vector Algorithms

Hardcover

RRP $126.00

$114.75

Uncertain Data Analysis : Fuzzy Vector Algorithms - Sansanee Auephanwiriyakul

Uncertain Data Analysis

Fuzzy Vector Algorithms

Paperback

RRP $94.99

$85.75

10%
OFF

Computer Science Why : Answers to Computer Science Questions They Don't Cover in Class - Christopher Little

Computer Science Why

Answers to Computer Science Questions They Don't Cover in Class

Paperback

RRP $75.99

$71.75

Computer Science Why : Answers to Computer Science Questions They Don't Cover in Class - Christopher Little

Computer Science Why

Answers to Computer Science Questions They Don't Cover in Class

Hardcover

RRP $305.00

$263.75

14%
OFF

Scheduling Variable Capacity Resources for Sustainability - Andrew A. Chien

Scheduling Variable Capacity Resources for Sustainability

Hardcover

RRP $210.00

$184.75

12%
OFF

Applied Data Science in FinTech : Models, Tools, and Case Studies - Juraj Hric

Applied Data Science in FinTech

Models, Tools, and Case Studies

Hardcover

RRP $305.00

$263.75

14%
OFF

Applied Data Science in FinTech : Models, Tools, and Case Studies - Juraj Hric

Applied Data Science in FinTech

Models, Tools, and Case Studies

Paperback

RRP $98.99

$88.75

10%
OFF

Tiny Machine Learning Techniques for Constrained Devices - Ahmed A. Abd El-Latif

Tiny Machine Learning Techniques for Constrained Devices

Hardcover

$320.75

New Storytelling : Learning through Metaphors - Anna Ursyn

New Storytelling

Learning through Metaphors

Paperback

RRP $103.00

$91.75

11%
OFF

Measurements and Instrumentation for Machine Vision - Jesus E Miranda-Vega

Measurements and Instrumentation for Machine Vision

Paperback

$187.75