Systems and software verification : model-checking techniques and tools /

Saved in:

Bibliographic Details
Other Authors:	BÃ©rard, BÃ©atrice
Format:	Book
Language:	English
Published:	Berlin, New York Springer c2001.
Subjects:	Verification and validation of software.
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Physical Description:	xii, 190 pages: illustrations; 24 cm.
ISBN:	3540415238

Similar Items