Author books / Книги автора Dr. Johann M. Schumann (auth.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Dr. Johann M. Schumann (auth.)

book Automated Theorem Proving in Software Engineering

Automated Theorem Proving in Software Engineering

pdf

Author: Dr. Johann M. Schumann (auth.)
Language: English
Year: 2001

00

27.01.2024

0

0