Logics of Specification Languages

Logics of Specification Languages

Logics of Specification Languages
2007ISBN 9783540741060
Viršelis: KietasAnglų k.