Formal Methods for Industrial Critical Systems

Author : Kim Guldstrand Larsen,Tim Willemse

Paperback

Published : Thursday 25 July 2019

ISBN : 9783030270070

Price : €52.64

Description

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.

You may also like ...

Formal Methods for Industrial Critical ...

by Kim Guldstrand Larsen,Tim Willemse

Paperback

25 Jul 2019

Compilers and interpreters

€52.64

Extended stock – Dispatch 5-7 days

Pre-Order

Jerry'S Window

by Y. K. Willemse

Paperback

15 Aug 2024

Childrens / Teenage fiction: Fantasy

€11.69

Pre-Order

New

The Arabic Afrikaans Writing Tradition,...

by Achmat Davids,Hein Willemse

Paperback

30 Jun 2024

Philosophy of language

€19.88

Extended stock – Dispatch 5-7 days

Learn from Bent Larsen

by Mihail Marin

Paperback

07 Aug 2023

Board games: Chess

€29.24

Extended stock – Dispatch 5-7 days

Reviews