0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

Formal Methods for Industrial Critical Systems - 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August... Formal Methods for Industrial Critical Systems - 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings (Paperback, 1st ed. 2019)
Kim Guldstrand Larsen, Tim Willemse
R1,521 Discovery Miles 15 210 Ships in 10 - 15 working days

This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019. The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions. The conference also featured invited talks by Jaco van de Pol (Aarhus University, and Twente University), jointly with CONCUR, and Holger Hermanns (Universitat des Saarlandes) and a special session on (commercial) formal methods in industry. The aim of the FMICS conference series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Specifying and Diagnostically Testing…
Houston H. Stokes Hardcover R2,845 Discovery Miles 28 450
Solid/Liquid Separation: Equipment…
Steve Tarleton, Richard Wakeman Hardcover R6,293 Discovery Miles 62 930
Postharvest Technology of Perishable…
Elhadi M Yahia Paperback R6,216 Discovery Miles 62 160
Anthony Whishaw - Works on Paper
Richard Davey Paperback R1,230 Discovery Miles 12 300
Essays on Natural History and Rural…
John Walker Paperback R789 Discovery Miles 7 890
Constable
Barry Venning Hardcover R1,084 Discovery Miles 10 840
Paul Kruger - Toesprake En…
Johan Bergh Hardcover  (3)
R396 Discovery Miles 3 960
Money Matters for Hospitality Managers
Cathy Burgess Paperback R1,439 Discovery Miles 14 390
Between Two Fires - Holding The Liberal…
John Kane-Berman Paperback  (3)
R372 Discovery Miles 3 720
Not So Fast Songololo
Niki Daly Paperback R260 R244 Discovery Miles 2 440

 

Partners