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...
Out of the Embers - Faith After the…
Bradley Jersak Paperback R631 R575 Discovery Miles 5 750
Even More Schedule for Sale - Advanced…
Paperback R622 R565 Discovery Miles 5 650
The President's Daily Brief Fifty Years…
Central Intelligence Agency Hardcover R781 Discovery Miles 7 810
VLSI Design and Test for Systems…
Shojiro Asai Hardcover R6,506 Discovery Miles 65 060
Strangers on a Bridge - The Case of…
James Donovan Paperback R517 R487 Discovery Miles 4 870
Analysis and Design of Networks-on-Chip…
Rabab Ezz-Eldin, Magdy Ali El-Moursy, … Hardcover R3,740 R3,458 Discovery Miles 34 580
An Historical and Explanatory Treatise…
William Gilson Humphry Paperback R563 Discovery Miles 5 630
The Psychology of Humor - An Integrative…
Rod A. Martin, Thomas Ford Paperback R1,605 Discovery Miles 16 050
Application of Christianity to the…
Thomas Chalmers Paperback R676 Discovery Miles 6 760
International Review of Research in…
Robert M. Hodapp, Deborah J. Fidler Hardcover R4,785 Discovery Miles 47 850

 

Partners