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...
The Architecture of the Poetic Universe
Hugh Conway Morris Hardcover R1,619 Discovery Miles 16 190
Legacy Of Violence - A History Of The…
Caroline Elkins Paperback R515 R488 Discovery Miles 4 880
Conversations With A Gentle Soul
Ahmed Kathrada, Sahm Venter Paperback  (3)
R190 R173 Discovery Miles 1 730
Sketch Stacks - A Series of Hand…
Antonio Giovanni Rivera, Jason Andrews Hardcover R694 Discovery Miles 6 940
Rebels And Rage - Reflecting On…
Adam Habib Paperback R589 Discovery Miles 5 890
Private Shelters - Teaching Architecture…
Natascha Meuser Paperback R829 Discovery Miles 8 290
Crime, Anti-Social Behaviour and Schools
C. Hayden, D. Martin Hardcover R1,525 Discovery Miles 15 250
Your Scottish Wedding - The Modern…
Marianne Rogerson Paperback R256 R229 Discovery Miles 2 290
Young People, Violence and Strategic…
Kammila Naidoo, Oluwafemi Adeagbo, … Hardcover R3,885 Discovery Miles 38 850
Be the Best, Best Man & Make a stunning…
Phillip Khan-Panni Paperback R411 Discovery Miles 4 110

 

Partners