Formal Modeling and Analysis of Timed S

General Books

School Books

Stationery

Menu

Sign In / Up

Sign in to your account or register new one to have full control over your orders, receive bonuses and more.

Sign In

New customer? Register

0 Cart

Subtotal: 0.00

Total Items In Cart:

View Cart

Sign In / Up

Home
Pre-orders
Book Subscription
General Books
Childrens Books
Non-Fiction
Primary School Books
Secondary School Books
- Junior Cert
  - Business
  - CSPE
  - English
  - French
  - Geography
  - German
  - History
  - Home Economics
  - Irish
  - Math
  - Music
  - PE Junior
  - Science
  - Sphe
  - Spanish
  - Technology & Graphics
- Senior Cert
  - Art
  - Biology
  - Business, Acc. & Economics
  - Chemistry
  - English
  - French
  - Geography
  - German
  - History
  - Home Economics
  - Irish
  - Math
  - Music
  - PE
  - Physics
  - Politics & Society
  - Sphe
  - Spanish
  - Contstruction, DCG & Technology
- Transition Year Books
- Novels
- Plays
- Secondary Irish Books
- Career Guidance
- Secondary School General
Exam Preparation
Stationery
School Book Lists
- Primary School books Lists
- Secondary School books Lists
Help

General Books

School Books

Stationery

Home
General Books
- Popular in Books
- Non-Fiction
- Children Books
Children's Books
Primary School Books
Secondary School Books
Join our Mailing List
Book Subscription
Blog
Help
- Help
- Kildare
- Maynooth University Bookshop

0 Cart

Subtotal: 0.00

Total Items In Cart:

View Cart

General Book Search for "9783030001506"

General Books
School Books

Formal Modeling and Analysis of Timed Systems

Author : David N. Jansen,Pavithra Prabhakar
Paperback
Published : Sunday 26 August 2018
ISBN : 9783030001506
Price : €52.64

Description

This book constitutes the refereed proceedings of the 16th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2018, held in Beijing, China, in September 2018. The 14 papers presented in this volume were carefully reviewed and selected from 29 submissions.