Author books / Книги автора Tiziana Margaria (editor) Bernhard Steffen (editor) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Tiziana Margaria (editor) Bernhard Steffen (editor)

book Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science)

Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science)

pdf

Author: Tiziana Margaria (editor) Bernhard Steffen (editor)
Language: English
Year: 2021

00

08.02.2024

0

0