PakCat catalogue record

Computer Aided Verification

By Alur. R

Bibliographic details

Publisher
Springer
Publication place
London
Publication year
2004
Language
English
Material type
Book
Physical description
xii, 536P.