Automated Theorem Proving in Software Engineering

Name: Automated Theorem Proving in Software Engineering
Author: Johann M. Schumann
ISBN: 9783540679899

2001ISBN 9783540679899

Viršelis: KietasAnglų k.