Author books / Книги автора Steffen Bernhard.,Woeginger Gerhard » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Steffen Bernhard.,Woeginger Gerhard

book Computing and software science, state of the art and perspectives

Computing and software science, state of the art and perspectives

pdf

Author: Steffen Bernhard., Woeginger Gerhard
Language: English
Year: 2019

00

07.02.2024

0

0

book Leveraging applications of formal methods, verification and validation

Leveraging applications of formal methods, verification and validation

pdf

Author: Tiziana Margaria-Steffen, Bernhard Steffen
Language: English
Year: 2008

00

27.01.2024

0

0