PakCat catalogue record

SYSTEMS AND SOFTWARE VERIFICATION

By B. BERARD. M. BIDOIT.A.FINKEL.F.LAROUSSINIE

Bibliographic details

ISBN
3540415238
Publisher
SPRINGER
Publication place
GERMANY
Publication year
2001
Material type
Book
Physical description
190