Skip your Account's links

$ USD

Advanced search

0 items

$0.00
  • Your basket
  • The RRP is the suggested or Recommended Retail Price of a product, set by the publisher or manufacturer.

  • View basket

  • Your basket is empty

  • Delivery included on your order!

  • View basket

Skip Navigation and go to main content

Delivery included to the United States

Formal Modeling and Analysis of Timed Systems Theoretical Computer Science and General Issues

Formal Modeling and Analysis of Timed Systems Theoretical Computer Science and General Issues 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings - Lecture Notes in Computer Science

1st Edition 2016

Paperback (17 Aug 2016)

Save $7.63

  • RRP $61.06
  • $53.43
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Check stock

    Publisher's Synopsis

    This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016.

    The 14 papers presented in this volume were carefully reviewed and selected from 32 initial submissions. They are organized in topical sections entitled: modeling timed phenomena; stochasticity and hybrid control; real-time verification and synthesis; workload analysis.

    Book information

    ISBN: 9783319448770
    Publisher: Springer International Publishing
    Imprint: Springer
    Pub date:
    Edition: 1st Edition 2016
    Language: English
    Number of pages: 245
    Weight: 367g
    Height: 235mm
    Width: 155mm
    Spine width: 14mm

    We recommend

    $5.23off

    Add to basket

    $4.71off

    Add to basket

    $8.55off

    Add to basket
    Add to basket
    Add to basket

    $2.25off

    Add to basket

    $7.83off

    Add to basket
    Add to basket

    $3.04off

    Add to basket

    $4.72off

    Add to basket