Normal view MARC view ISBD view

Formal Methods for Industrial Critical Systems

Maurice H. ter Beek, Dejan Ni?kovi?

Formal Methods for Industrial Critical Systems - Springer Springer 2020

ISBN: 9783030582982

Source: EBOOK