Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings - Lecture Notes in Computer Science - - Books - Springer Nature Switzerland AG - 9783030296612 - August 13, 2019
In case cover and title do not match, the title is correct

Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings - Lecture Notes in Computer Science 2019 edition

Price
$ 54.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 7 - 13

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

301 pages, 41 Illustrations, color; 196 Illustrations, black and white; XVI, 301 p. 237 illus., 41 i

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 13, 2019
ISBN13 9783030296612
Publishers Springer Nature Switzerland AG
Pages 301
Dimensions 150 × 220 × 10 mm   ·   492 g
Language German  
Editor Andre, Etienne
Editor Stoelinga, Marielle

Mere med samme udgiver