Formal Methods for Industrial Critical SystemsKim Guldstrand Larsen

Formal Methods for Industrial Critical Systems

Kim Guldstrand Larsen, Tim Willemse · 2019

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2019
Publisher: Springer
Editions: 1
Pages: 176
ISBN: 9783030270070

Data source: Wikidata

More by Kim Guldstrand Larsen

Computer aided verificationKim Guldstrand Larsen

Computer aided verification

Kim Guldstrand Larsen · 1992

Dependable Software Engineering. Theories, Tools, and ApplicationsKim Guldstrand Larsen

Dependable Software Engineering. Theories, Tools, and Applications

Kim Guldstrand Larsen · 2017